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