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