EPTCS 64 - EXPRESS 2011
Bas Luttik, Frank Valencia (Eds.):
Proceedings 18th International Workshop on Expressiveness in Concurrency.
EPTCS 64 2011 
- Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino:
Graphical representation of covariant-contravariant modal formulae.
1-15
- Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
Information Flow Safety in Multiparty Sessions.
16-30
- Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Read Operators and their Expressiveness in Process Algebras.
31-43
- Ioana Cristescu, Daniel Hirschkoff:
Termination in a Pi-calculus with Subtyping.
44
- Ugo Dal Lago, Paolo Di Giamberardino:
Soft Session Types.
59-73
- Damian Nadales Agut, Michel Reniers:
Linearization of CIF Through SOS.
74-88
- Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann:
Synchrony vs Causality in the Asynchronous Pi-Calculus.
89-103
- Iain Phillips, Irek Ulidowski:
A Logic with Reverse Modalities for History-preserving Bisimulations.
104-118
- Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz:
Synchrony vs. Causality in Asynchronous Petri Nets.
119-131
Last update Sat May 18 18:00:41 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
