Abstract is missing.
- The Three Dimensions of SemanticsJ. W. de Bakker. 1 [doi]
- CALIBAN - Esprit Basic Research WG 6067Eike Best, Raymond R. Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva 0001, Enrique Teruel. 2-31 [doi]
- Design of Real-Time Systems: Interface between Duration Calculus and Program SpecificationsErnst-Rüdiger Olderog, Michael Schenke. 32-54 [doi]
- Conformance: A Precongruence close to BisimilarityS. Arun-Kumar, V. Natarajan. 55-68 [doi]
- On The Synchronic Structure of Transition SystemsLuca Bernardinello, Giorgio De Michelis, Katia Petruni, Sebastiano Vigna. 69-84 [doi]
- An M-net Semantics of B(PN)2Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz. 85-100 [doi]
- Graphs for Generalized TracesIabelle Biermann, Brigitte Rozoy. 101-115 [doi]
- Orbits, half-frozen tokens and the liveness of weighted circuitsPiotr Chrzastowski-Wachtel, Marek Raczunas. 116-128 [doi]
- An Observational Semantics for LindaRocco De Nicola, Rosario Pugliese. 129-143 [doi]
- Refinement and Recursion in a High Level Petri Box CalculusRaymond R. Devillers, Hanna Klaudel. 144-159 [doi]
- Sequentiality by Linear Implication and Universal QuantificationAlessio Guglielmi. 160-174 [doi]
- Linear Space Algorithm for On-line Detection of Global PredicatesRoland Jégou, Raoul Medina, Lhouari Nourine. 175-189 [doi]
- A Simple Decision Method for the Linear Time Mu-calculusRoope Kaivola. 190-204 [doi]
- Message passing mutexEkkart Kindler, Rolf Walter. 205-219 [doi]
- Possible and Guaranteed Concurrency in CSPMarta Kwiatkowska, Iain C. C. Phillips. 220-235 [doi]
- Metric completion versus ideal completionMila E. Majster-Cederbaum, Christel Baier. 236-248 [doi]
- Keeping Track of the Latest Gossip in Message-Passing SystemsMadhavan Mukund, K. Narayan Kumar, Milind A. Sohoni. 249-263 [doi]
- A Local Presentation of Synchronizing SystemsR. Ramanujam. 264-278 [doi]
- On Well-formedness Analysis: The Case of Deterministic Systems of Sequential ProcessesLaura Recalde, Enrique Teruel, Manuel Silva 0001. 279-293 [doi]
- An Event-Based SOS for a Language with RefinementArend Rensink. 294-309 [doi]
- On the Computation of Place Invariants for Algebraic Petri NetsKarsten Schmidt. 310-325 [doi]
- Failure-based Equivalences Are Faster Than Many BelieveAntti Valmari. 326-340 [doi]
- Partial Order Semantics and Weak FairnessWalter Vogler. 341-350 [doi]