David H. Pitt

Publication Activity (10 Years)

Years Active: 1985-2002
Publications (10 Years): 0

Publications

David H. Pitt, Michael W. Shields
Local Invariance. Formal Aspects Comput. 14 (1) (2002)
David H. Pitt, M. W. Shields
Overtaking in Asynchronous Periodic Systems. Formal Aspects Comput. 11 (5) (1999)
Antonio Ruiz-Delgado, David H. Pitt, Colin Smythe
A Review of Object-oriented Approaches in Formal Methods. Comput. J. 38 (10) (1995)
David H. Pitt, Paddy Byers
The Rest Says Unchanged (Concurrency and State-Based Specification). Formal Aspects Comput. 6 (5) (1994)
Andrew F. Watts, David H. Pitt, Colin Smythe
Object Oriented Specification of Multi-Layered Protocols. ICCI (1993)
David Murphy, David H. Pitt
Real-Timed Concurrent Refineable Behaviours. FTRTFT (1992)
David H. Pitt, David Freestone
The Derivation of Conformance Tests from LOTOS Specifications. IEEE Trans. Software Eng. 16 (12) (1990)
Paddy Byers, David H. Pitt
Conservative extensions: a cautionary note. Bull. EATCS 41 (1990)
Adrian Colbrook, Colin Smythe, David H. Pitt
Concurrent Data Structures. ICCI (1990)
Stephen A. Schuman, David H. Pitt, Paddy H. Byers
Object-Oriented Process Specification. Specification and Verification of Concurrent Systems (1988)
David H. Pitt
Categories. CTCS (1985)