EXPRESS

Publications

2011

Iain Phillips, Irek Ulidowski
A Logic with Reverse Modalities for History-preserving Bisimulations EXPRESS (2011)
Damian Nadales Agut, Michel A. Reniers
Linearization of CIF Through SOS EXPRESS (2011)
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
Graphical representation of covariant-contravariant modal formulae EXPRESS (2011)
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
Read Operators and their Expressiveness in Process Algebras EXPRESS (2011)
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
Information Flow Safety in Multiparty Sessions EXPRESS (2011)
Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz
Synchrony vs. Causality in Asynchronous Petri Nets EXPRESS (2011)
Ioana Cristescu, Daniel Hirschkoff
Termination in a Pi-calculus with Subtyping EXPRESS (2011)
Ugo Dal Lago, Paolo Di Giamberardino
Soft Session Types EXPRESS (2011)
Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann
Synchrony vs Causality in the Asynchronous Pi-Calculus EXPRESS (2011)

volume 64, 2011

Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011. EXPRESS 64 (2011)

2010

volume 41, 2010

Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010. EXPRESS 41 (2010)