Abstract is missing.
- Composing SpecificationsMartín Abadi, Leslie Lamport. 1-41
- Refinement Calculus, Part I: Sequential Nondeterministic ProgramsRalph-Johan Back, Joakim von Wright. 42-66
- Refinement Calculus, Part II: Parallel and Reactive ProgramsRalph-Johan Back. 67-93
- METATEM: A Framework for Programming in Temporal LogicHoward Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens. 94-129
- Constraint-Oriented Specification in a Constructive Formal Description TechniqueEd Brinksma. 130-152
- Functional Specification of Time Sensitive Communicating SystemsManfred Broy. 153-179
- Modular Verification of Petri Nets: The Temporal Logic ApproachWerner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko. 180-207
- Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement MappingsEduard Diepstraten, Ruurd Kuiper. 208-238
- Algebraic Implementation of Objects over ObjectsHans-Dieter Ehrich, Amílcar Sernadas. 239-266
- Refinement of Actions in Causality Based ModelsRob J. van Glabbeek, Ursula Goltz. 267-300
- Transformation of Combined Data Type and Process Specifications Using Projection AlgebrasMartin Große-Rhode, Hartmut Ehrig. 301-339
- Various Simulations and RefinementsJifeng He. 340-360
- On Decomposing and Refining Specifications of Distributed SystemsBengt Jonsson. 361-385
- Verifying the Correctness of AADL Modules Using Model CheckingBernhard Josko. 386-400
- Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent PrologJoost N. Kok. 401-413
- Analysis of Discrete Event CoordinationRobert P. Kurshan. 414-453
- Refinement and Projection of Relational SpecificationsSimon S. Lam, A. Udaya Shankar. 454-486
- Compositional Theories Based on an Operational Semantics of ContextsKim Guldstrand Larsen. 487-518
- Multivalued Possibilities MappingsNancy A. Lynch. 519-543
- Completeness Theorems for AutomataMichael Merritt. 544-560
- Formal Verification of Data Type Refinement - Theory and PracticeTobias Nipkow. 561-591
- From Trace Specifications to Process TermsErnst-Rüdiger Olderog. 592-621
- Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programs622-640
- Refinement of Concurrent Systems Based on Local State TransformationsLucia Pomello. 641-668
- Construction of Network Protocols by Stepwise RefinementA. Udaya Shankar, Simon S. Lam. 669-695
- A Derivation of a Broadcasting Protocol Using Sequentially Phased ReasoningFrank A. Stomp. 696-730
- Verifying Atomic Data TypesJeannette M. Wing. 731-758
- Predicated, Predicate Transformers and RefinementJob Zwiers. 759-776
- Foundations of Compositional Program Refinement - Safety PropertiesRob Gerth. 777-807