Abstract is missing.
- Esprit Basic Research Action 3148 DEMON (design methods based on nets)Eike Best. 1-20
- The box calculus: a new causal algebra with multi-label communicationEike Best, Raymond R. Devillers, Jon G. Hall. 21-69
- Modular functional modelling of Petri nets with individual tokensManfred Broy, Thomas Streicher. 70-88
- Interleaving semantics and action refinement with atomic choiceIngo Czaja, Rob J. van Glabbeek, Ursula Goltz. 89-107
- Maximality preservation and the ST-idea for action refinementsRaymond R. Devillers. 108-151
- A fifo-net model for processes with asynchronous communicationJean Fanchon. 152-178
- A basic-net algebra for program semantics and its application to OCCAMRichard P. Hopkins, Jon G. Hall, Oliver Botti. 179-214
- The effect of vector synchronization: residue and lossN. W. Keesmaat, H. C. M. Kleijn. 215-250
- Modelling systems with dynamic prioritiesMaciej Koutny. 251-266
- On distributed languages and models for concurrencyBrigitte Rozoy. 267-291
- Partial words versus processes: a short comparisonWalter Vogler. 292-303
- A survey of basic net models and modular net classesLuca Bernardinello, Fiorella de Cindio. 304-351
- Structural techniques and performance bounds of stochastic Petri net modelsJavier Campos, Manuel Silva. 352-391
- A survey of recognizable languages with infinite tracesPaul Gastin, Antoine Petit. 392-409
- A survey of equivalence notions for net based systemsLucia Pomello, Grzegorz Rozenberg, Carla Simone. 410-472