UTP 2006:
Walworth Castle,
County Durham,
UK
Steve Dunne, Bill Stoddart (Eds.):
Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers.
Lecture Notes in Computer Science 4010 Springer 2006, ISBN 3-540-34750-X 
- Eric C. R. Hehner:
Retrospective and Prospective for Unifying Theories of Programming.
1-17
- Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio:
Object-Orientation in the UTP.
18-37
- Jifeng He, C. A. R. Hoare:
CSP Is a Retract of CCS.
38-62
- Bill Stoddart, Frank Zeyda, Robert Lynas:
A Design-Based Model of Reversible Computation.
63-83
- Jim Woodcock:
An Operational Semantics in UTP for a Language of Reactive Designs (Abstract).
84-84
- Jifeng He, Shengchao Qin, Adnan Sherif:
Constructing Property-Oriented Models for Verification.
85-100
- Moshe Deutsch, Martin C. Henson:
A Relational Investigation of UTP Designs and Prescriptions.
101-122
- Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
Unifying Theories in ProofPower-Z.
123-140
- Ian J. Hayes:
Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe.
141-154
- Yifeng Chen:
Hierarchical Organisation of Predicate-Semantic Models.
155-172
- Jifeng He, Jeff W. Sanders:
Unifying Probability.
173-199
- Ana Cavalcanti, Will Harwood, Jim Woodcock:
Pointers and Records in the Unifying Theories of Programming.
200-216
- Gift Nuka, Jim Woodcock:
Mechanising a Unifying Theory.
217-235
- Walter Guttmann, Bernhard Möller:
Modal Design Algebra.
236-256
Last update Fri May 25 08:44:12 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
