EXPRESS'07
14th International Workshop on
Expressiveness in Concurrency
September 3rd
, 2007
Lisbon, Portugal
Affiliated with CONCUR 2007
Last modified: Mon Jul 30 12:23:59 CEST 2007
EXPRESS '07 -- Preliminary Programme
9.00
-
9.10:
Opening
9.10
-
10.00:
Joint Express/SecCo invited talk: C. Fournet
A type theory for authorisation in distributed systems
10.00
-
10.30:
Selected Papers
M. Bravetti
Expressing priorities and external probabilities in process algebra via mixed open/closed systems
10.30
-
11.00:
COFFEE BREAK
11.00
-
12.30:
Selected Papers
J. Borgstroem, A. Gordon, A. Phillips
A Chart Semantics for the Pi-Calculus
B. Haagensen, S. Maffeis, and I. Phillips
Matching systems for concurrent calculi
D. Romana Cacciagrano, F. Corradini, F. Valencia, and J. Aranda.
Persistence and testing semantics
12.30
-
14.00:
LUNCH
14.00
-
14.50:
Invited talk: J. Baeten
Models of computation: automata and processes
14.50
-
15.40:
Invited talk: F. Laroussinie
Alternating-time temporal logic: expressivity, complexity,... and variants
15.40
-
16.10:
COFFEE BREAK
16.10
-
17.00:
Joint Express/GT-VC invited talk: I. Phillips
Leader election and expressiveness
17.00
-
18.00:
Discussion moderated by D. Gorla and U. Nestmann.
When is an encoding good? Full abstraction and other criteria.
webadmin of this site: amadio "at" pps.jussieu.fr
