David H. Pitt

According to our database, David H. Pitt authored at least 11 papers between 1985 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Local Invariance.

David H. Pitt, Michael W. Shields

Formal Aspects Comput., 2002

1999

Overtaking in Asynchronous Periodic Systems.

David H. Pitt, M. W. Shields

Formal Aspects Comput., 1999

1995

A Review of Object-oriented Approaches in Formal Methods.

Antonio Ruiz-Delgado, David H. Pitt, Colin Smythe

Comput. J., 1995

1994

The Rest Says Unchanged (Concurrency and State-Based Specification).

David H. Pitt, Paddy Byers

Formal Aspects Comput., 1994

1993

Object Oriented Specification of Multi-Layered Protocols.

Andrew F. Watts, David H. Pitt, Colin Smythe

Proceedings of the Computing and Information, 1993

1992

Real-Timed Concurrent Refineable Behaviours.

David Murphy, David H. Pitt

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1990

The Derivation of Conformance Tests from LOTOS Specifications.

David H. Pitt, David Freestone

IEEE Trans. Software Eng., 1990

Conservative extensions: a cautionary note.

Paddy Byers, David H. Pitt

Bull. EATCS, 1990

Concurrent Data Structures.

Adrian Colbrook, Colin Smythe, David H. Pitt

Proceedings of the Advances in Computing and Information, 1990

1988

Object-Oriented Process Specification.

Stephen A. Schuman, David H. Pitt, Paddy H. Byers

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

1985

Categories.

David H. Pitt

Proceedings of the Category Theory and Computer Programming, 1985