Process Algebras and Systems of Communicating Processes
: Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra.
: A Method for Verification of Trace and Test Equivalence.
: Projections of the Reachability Graph and Environment Models.
: Proving Properties of Elementary Net Systems with a Special-Purpose Theorem Prover.
: Verification by Abstraction and Bisimulation.
: MEC: A System for Constructing and Analysing Transition Systems.
David L. Dill
: Timing Assumptions and Verification of Finite-State Concurrent Systems.