UTP 2006: Walworth Castle, County Durham, UK

• Eric C. R. Hehner:
  Retrospective and Prospective for Unifying Theories of Programming. 1-17
  Electronic Edition (link) BibTeX
• Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio:
  Object-Orientation in the UTP. 18-37
  Electronic Edition (link) BibTeX
• Jifeng He, C. A. R. Hoare:
  CSP Is a Retract of CCS. 38-62
  Electronic Edition (link) BibTeX
• Bill Stoddart, Frank Zeyda, Robert Lynas:
  A Design-Based Model of Reversible Computation. 63-83
  Electronic Edition (link) BibTeX
• Jim Woodcock:
  An Operational Semantics in UTP for a Language of Reactive Designs (Abstract). 84-84
  Electronic Edition (link) BibTeX
• Jifeng He, Shengchao Qin, Adnan Sherif:
  Constructing Property-Oriented Models for Verification. 85-100
  Electronic Edition (link) BibTeX
• Moshe Deutsch, Martin C. Henson:
  A Relational Investigation of UTP Designs and Prescriptions. 101-122
  Electronic Edition (link) BibTeX
• Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
  Unifying Theories in ProofPower-Z. 123-140
  Electronic Edition (link) BibTeX
• Ian J. Hayes:
  Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe. 141-154
  Electronic Edition (link) BibTeX
• Yifeng Chen:
  Hierarchical Organisation of Predicate-Semantic Models. 155-172
  Electronic Edition (link) BibTeX
• Jifeng He, Jeff W. Sanders:
  Unifying Probability. 173-199
  Electronic Edition (link) BibTeX
• Ana Cavalcanti, Will Harwood, Jim Woodcock:
  Pointers and Records in the Unifying Theories of Programming. 200-216
  Electronic Edition (link) BibTeX
• Gift Nuka, Jim Woodcock:
  Mechanising a Unifying Theory. 217-235
  Electronic Edition (link) BibTeX
• Walter Guttmann, Bernhard Möller:
  Modal Design Algebra. 236-256
  Electronic Edition (link) BibTeX