|
Preliminary Proceedings of the 7th International Workshop on
Expressiveness in Concurrency, EXPRESS '00, (State College, USA,
August 21, 2000)
Luca Aceto
August 2000 |
Abstract:
This volume contains the preliminary proceedings of
EXPRESS'00, which was held in State College (Pennsylvania, USA) on 21 August
2000. It includes the six papers that were selected for presentation by the
program committee, together with the contribution by the invited speaker,
Neil D. Jones (DIKU, Denmark). The final proceedings will appear as volume 39
in the ENTCS series, which can be found at
www.elsevier.nl/locate/entcs/volume39.html.
Available as PostScript, PDF. |