David H. Pitt

Concurrent Data Structures

Adrian Colbrook, Colin Smythe, David H. Pitt, 1991, ICCI.

A Review of Object-Oriented Approaches in Formal Specification

Colin Smythe, David H. Pitt, Antonio Ruiz-delgado, 1995 .

The rest stays unchanged (concurrency and state-based specification)

David H. Pitt, Paddy Byers, D. Pitt, 1994, Formal Aspects of Computing.

The Derivation of Conformance Tests from LOTOS Specifications

David H. Pitt, David Freestone, 1990, IEEE Trans. Software Eng..

Conservative extensions: a cautionary note

David H. Pitt, Paddy Byers, 1990, Bull. EATCS.

Object-Oriented Process Specification

David H. Pitt, Stephen A. Schuman, Paddy H. Byers, 1988, Specification and Verification of Concurrent Systems.

Overtaking in Asynchronous Periodic Systems

M. W. Shields, David H. Pitt, D. Pitt, 1999, Formal Aspects of Computing.

Real-Timed Concurrent Refineable Behaviours

David Murphy, David H. Pitt, D. Pitt, 1992, FTRTFT.

Local Invariance

Michael W. Shields, David H. Pitt, 2002, Formal Aspects of Computing.

Object oriented specification of multi-layered protocols

Colin Smythe, David H. Pitt, Andrew F. Watts, 1993, Proceedings of ICCI'93: 5th International Conference on Computing and Information.

A Review of Object-oriented Approaches in Formal Methods

Colin Smythe, David H. Pitt, Antonio Ruiz-Delgado, 1995, Comput. J..