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

EXPRESS '11 -- Programme

9.00 - 10.00: Joint Invited Talk with SOS 2011:
Wan Fokkink
"Why Modal Characterizations of Process Semantics Totally Rock"
10.00 - 10.30: Luca Aceto, Ignacio Fábregas, David Frutos Escrig, Anna Ingolfsdottir and Miguel Palomino
"Graphical representation of 
    covariant-contravariant modal formulas"
10.30 - 11.00: Coffee break
11.00 - 12.30: Kirstin Peters, Jens-Wolfhard Schicke and Uwe Nestmann
"Synchrony vs Causality in the Asynchronous Pi-Calculus"
      Jens-Wolfhard Schicke, Kirstin Peters and Ursula Goltz
"Synchrony vs. Causality in Asynchronous Petri Nets"
      Flavio Corradini, Maria Rita Di Berardini and Walter Vogler
"Read Operators and their Expressiveness in Process Algebras"
12.30 - 14.00: Lunch
14.00 - 15.00: Invited talk:
Björn Victor
"Applied process calculi made easy as pi"
15.00 - 15.30: Ioana Cristescu and Daniel Hirschkoff
"Termination in a Pi-calculus with Subtyping"
15.30 - 16.00: Coffee break
16.00 - 17.00: Ugo Dal Lago and Paolo Di Giamberardino
"Soft Session Types"
      Sara Capecchi, Ilaria Castellani and Mariangiola Dezani-Ciancaglini
"Information flow safety in multiparty sessions"
17:00 - 18:00 Iain Phillips and Irek Ulidowski
      "A Logic with Reverse Modalities for History-preserving Bisimulations"
Damian Nadales Agut and Michel Reniers
      "Linearization of CIF Through SOS"

webadmin of this site: andresaristi at lix dot polytechnique dot fr