EXPRESS logo
EXPRESS'04
11th International Workshop on
Expressiveness in Concurrency
30 August, 2004
London, Great Britain
Affiliated with CONCUR 2004
Invited speakers:
Rocco De Nicola (Florence University, Italy)
Rob van Glabbeek (NICTA, Australia)
[ Home | Invited Talks | Call for Papers | Accepted Papers | Final Programme | Online Publication ]


List of papers accepted for Express 2004


Out of 22 submissions,
the following 9 papers were accepted by the programme committee.


Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
On the omega-language Expressive Power of Extended Petri Nets

Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
Fairness of Components in System Computations

Emmanuel Beffara, Francois Maurel
Concurrent Nets: A Study of Prefixing in Process Calculi

Suzana Andova, Tim Willemse
Equivalences for silent transitions in Probabilistic Systems

Xudong Guan
Name-Passing In An Ambient-Like Calculus and Its Proof Using Spatial Logic

Harald Fecher, Martin Steffen
Characteristic mu-Calculus Formula for an Underspecified Transition System

Reynald Affeldt, Naoki Kobayashi
Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes

Mikkel Bundgaard, Thomas Hildebrandt, Jens Chr. Godskesen
A CPS Encoding of Name-Passing in Higher-order Mobile Embedded Resources

Iain Phillips, Maria Grazia Vigliotti
Leader Election in Rings of Ambient Processes

e-mail to the webadmin of this site