EPTCS 64 - EXPRESS 2011

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-4077
- ask others
Bas Luttik, Frank Valencia (Eds.): Proceedings 18th International Workshop on Expressiveness in Concurrency. 2011 EPTCS 64 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-4464
- ask others
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino: Graphical representation of covariant-contravariant modal formulae. ... 1-15
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-4465
- ask others
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini: Information Flow Safety in Multiparty Sessions. ... 16-30
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-4466
- ask others
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Read Operators and their Expressiveness in Process Algebras. ... 31-43
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1107-5722
- ask others
Ioana Cristescu, Daniel Hirschkoff: Termination in a Pi-calculus with Subtyping. ... 44
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-4467
- ask others
Ugo Dal Lago, Paolo Di Giamberardino: Soft Session Types. ... 59-73
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-4468
- ask others
Damian Nadales Agut, Michel Reniers: Linearization of CIF Through SOS. ... 74-88
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-4469
- ask others
Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann: Synchrony vs Causality in the Asynchronous Pi-Calculus. ... 89-103
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-4470
- ask others
Iain Phillips, Irek Ulidowski: A Logic with Reverse Modalities for History-preserving Bisimulations. ... 104-118
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-4471
- ask others
Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz: Synchrony vs. Causality in Asynchronous Petri Nets. ... 119-131