Abstract is missing.
- Stepwise Refinement of Mixed Specifications of Concurrent ProgramsBeverly A. Sanders. 1-26
- The Refinement Theorem for ST-bisimulation SemanticsRob J. von Glabbeek. 27-52
- On the Refinement of Non-Deterministic Recursive Routines by TransformationsRudolf Berghammer, Herbert Ehler, Bernhard Möller. 53-72
- Language Constructs for Distributed SystemsShmuel Katz, Ira R. Forman, Michael Evangelist. 73-100
- Sematics-Driven Decompositions for the Verification of Distributed ProgramsLimor Fix, Nissim Francez, Orna Grumberg. 101-124
- Timed Observations: A Semantic Model for Real-Time ConcurrencyYolanda Ortega-Mallén, David de Frutos-Escrig. 125-154
- Deriving Denotational Models for Bisimulation from Structured Operational SemanticsJan J. M. M. Rutten. 155-178
- Refinement Concepts Formalized in Higher Order LogicRalph-Johan Back, Joakim von Wright. 179-200
- Formalization of the Bird-Meertens Algorithmic Calculus in the Deva Meta-CalculusMatthias Weber. 201-232
- Automating SquiggolUrsula Martin, Tobias Nipkow. 233-246
- Algorithms for TheoremsJohan Jeuring. 247-266
- Abstract Relational SpecificationsJules Desharnais, Nazim H. Madhavji. 267-284
- Global Control for Communicating ProcessesAlbert Dietl. 285-302
- A Proof System for Process CreationPierre America, Frank S. de Boer. 303-332
- Formalization of the VDM Reification in the DEVA Meta-Calculus - The Human-Leucocyte-Antigen Case StudyChristine Lafontaine. 333-368
- Using LP to Debug SpecificationsStephen J. Garland, John V. Guttag. 369-386
- Mechanizing UnityDavid M. Goldschlag. 387-414
- ATP: an Algebra for Timed ProcessesXavier Nicollin, Jean-Luc Richier, Joseph Sifakis, Jacques Voiron. 415-442
- Algebraic Reasoning for Probabilistic Concurrent SystemsAlessandro Giacalone, Chi-Chang Jou, Scott A. Smolka. 443-458
- A Theory of Synchrony and AsynchronyJifeng He, Mark B. Josephs, Charles Antony Richard Hoare. 459-478
- Abstract Types and the Dot NotationLuca Cardelli, Xavier Leroy. 479-504
- Reasoning About Interpretations in Qualitative λ-ModelsFurio Honsell, Simona Ronchi Della Rocca. 505-522
- Information Loss in the Programming Logic TKMartin C. Henson. 523-560
- Linear Types can Change the World!Philip Wadler. 561