Abstract is missing.
- Retrospective and Prospective for Unifying Theories of ProgrammingEric C. R. Hehner. 1-17 [doi]
- Object-Orientation in the UTPThiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio. 18-37 [doi]
- CSP Is a Retract of CCSJifeng He, C. A. R. Hoare. 38-62 [doi]
- A Design-Based Model of Reversible ComputationBill Stoddart, Frank Zeyda, Robert Lynas. 63-83 [doi]
- An Operational Semantics in UTP for a Language of Reactive Designs (Abstract)Jim Woodcock. 84-84 [doi]
- Constructing Property-Oriented Models for VerificationJifeng He, Shengchao Qin, Adnan Sherif. 85-100 [doi]
- A Relational Investigation of UTP Designs and PrescriptionsMoshe Deutsch, Martin C. Henson. 101-122 [doi]
- Unifying Theories in ProofPower-ZMarcel Oliveira, Ana Cavalcanti, Jim Woodcock. 123-140 [doi]
- Termination of Real-Time Programs: Definitely, Definitely Not, or MaybeIan J. Hayes. 141-154 [doi]
- Hierarchical Organisation of Predicate-Semantic ModelsYifeng Chen. 155-172 [doi]
- Unifying ProbabilityJifeng He, Jeff W. Sanders. 173-199 [doi]
- Pointers and Records in the Unifying Theories of ProgrammingAna Cavalcanti, Will Harwood, Jim Woodcock. 200-216 [doi]
- Mechanising a Unifying TheoryGift Nuka, Jim Woodcock. 217-235 [doi]
- Modal Design AlgebraWalter Guttmann, Bernhard Möller. 236-256 [doi]