18th International Workshop on
Expressiveness in Concurrency
Monday, September 5, 2011
Aachen, Germany
Affiliated with CONCUR 2011
[ Home]

EXPRESS 2011 Accepted Papers

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