Formal Methods for Parallel Programming: Theory and Applications
- From a Specification to an Equivalence Proof in Object-Oriented Parallelism
- Isabelle Attali; Denis Caromel; and Sylvain Lippi
- A Structured Approach to Parallel Programming: Methodology and Models
- Berna L. Massingill
- Examples of Program Composition Illustrating the Use of Universal Properties
- Michel Charpentier and K. Mani Chandy
- A Formal Framework for Specifying and Verifying Time Warp Optimizations
- Victoria Chernyakhovsky; Peter Frey; Radharamanan Radhakrishnan; Philip A. Wilsey; Perry Alexander; and Harold W. Carter
- Verifying End-to-End Protocols Using Induction with CSP/FDR
- S.J. Creese and Joy Reed
- BSP in CSP: Easy as ABC
- Andrew C. Simpson; Jonathan M.D. Hill; and Stephen R. Donaldson
- Mechanical Verification of a Garbage Collector
- Klaus Havelund