Abstract is missing.
- Preface [doi]
- The Linear Time - Branching Time Spectrum IRob J. van Glabbeek. 3-99 [doi]
- Trace-Oriented Models of ConcurrencyManfred Broy, Ernst-Rüdiger Olderog. 101-195 [doi]
- Structural Operational SemanticsLuca Aceto, Wan Fokkink, Chris Verhoef. 197-292 [doi]
- Modal Logics and mu-Calculi: An IntroductionJulian C. Bradfield, Colin Stirling. 293-330 [doi]
- Process Algebra with Recursive OperationsJan A. Bergstra, Wan Fokkink, Alban Ponse. 333-389 [doi]
- Equivalence and Preorder Checking for Finite-State SystemsRance Cleaveland, Oleg Sokolsky. 391-424 [doi]
- A Symbolic Approach to Value-Passing ProcessesAnna Ingólfsdóttir, Huimin Lin. 427-478 [doi]
- An Introduction to the π-CalculusJoachim Parrow. 479-543 [doi]
- Verification on Infinite StructuresOlaf Burkart, Didier Caucal, Faron Moller, Bernhard Steffen. 545-623 [doi]
- Process Algebra with Timing: Real Time and Discrete TimeJos C. M. Baeten, C. A. Middelburg. 627-684 [doi]
- Probabilistic Extensions of Process AlgebrasBengt Jonsson, Wang Yi 0001, Kim G. Larsen. 685-710 [doi]
- Priority in Process AlgebraRance Cleaveland, Gerald Lüttgen, V. Natarajan. 711-765 [doi]
- Partial-Order Process Algebra (and its Relation to Petri Nets)Jos C. M. Baeten, Twan Basten. 769-872 [doi]
- A Unified Model for Nets and Process AlgebrasEike Best, Raymond R. Devillers, Maciej Koutny. 873-944 [doi]
- Process Algebras with LocalitiesIlaria Castellani. 945-1045 [doi]
- Action RefinementRoberto Gorrieri, Arend Rensink. 1047-1147 [doi]
- Algebraic Process VerificationJan Friso Groote, Michel A. Reniers. 1151-1208 [doi]
- Discrete Time Process Algebra and the Semantics of SDLJan A. Bergstra, C. A. Middelburg, Yaroslav S. Usenko. 1209-1268 [doi]
- A Process Algebra for InterworkingsSjouke Mauw, Michel A. Reniers. 1269-1327 [doi]