Abstract is missing.
- Decomposable Functions and Leaf Trees: A Systematic ApproachAnne Kaldewaij, Victor J. Dielissen. 3-17
- Data Distribution Algebras - A Formal Basis for Programming Using SkeletonsMario Südholt. 19-38
- Ideal StreamsBernhard Möller. 39-58
- Literate and Structured Presentation of Formal ProofsMartin Simons, Maya Biersack, Robert Raschke. 61-81
- Automatic, Self-adaptive Control and Unfold TransformationsJames M. Boyle. 83-103
- Action Systems with Synchronous CommunicationRalph-Johan Back, Kaisa Sere. 107-126
- Progress for Local Variables in UNITYRob T. Udink, Ted Herman, Joost N. Kok. 127-146
- A General Conservative Extension Theorem in Process AlgebraChris Verhoef. 149-168
- Axiomatising ST-Bisimulation EquivalenceNadia Busi, Rob J. van Glabbeek, Roberto Gorrieri. 169-188
- Studying Synchronous Communication Mechanisms by AbstractionsMuriel Jourdan, Florence Maraninchi. 189-205
- Bisimulation in Higher-Order Process CalculiDavide Sangiorgi. 207-224
- Methodological Aspects of Action RefinementArend Rensink. 227-246
- Parametric Action RefinementHeike Wehrheim. 247-266
- A Process Algebraic Semantics for Statecharts via State RefinementAndrew C. Uselton, Scott A. Smolka. 267-286
- Compositionality in the Inductive Assertion Method for Concurrent SystemsFrank S. de Boer. 289-305
- Some Very Compositional Temporal PropertiesBen C. Moszkowski. 307-326
- Decomposing Specifications of Concurrent SystemsMartín Abadi, Leslie Lamport. 327-340
- Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing DiagramsWerner Damm, J. Helbig. 341-359
- A Relational Model of Programs Without the Restriction to Egli-Milner-Monotone ConstructsHenk Doornbos. 363-382
- Plotkin, Hoare and Smyth Order: On Observational Models for CSPBurghard von Karger. 383-402
- Modelling Concurrent Accesses to Shared Data via Petri NetsNicoletta De Francesco, Ugo Montanari, Gioia Ristori. 403-422
- An Event Structure Semantics for Safe Graph GrammarsAndrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi. 423-444
- Semantics of ExceptionsK. Rustan M. Leino, Jan L. A. van de Snepscheut. 447-466
- Predicate Transformer Semantics of an Oberon-Like LanguageDavid A. Naumann. 467-487
- Occam: Specification and Compiler Correctness - Part I: The Primary ModelEgon Börger, Igor Durdanovic, Dean Rosenzweig. 489-508
- Higher-Order SubtypingMartin Steffen, Benjamin C. Pierce. 511-530
- Augmenting Algebraic Specifications with Structured Sorts and Structural SubsortingYellamraju V. Srinivas. 531-550
- Reasoning about Complexity of Object-Oriented ProgramsHeinz W. Schmidt, Wolf Zimmermann. 553-572