|
Search the dblp DataBase
David H. Pitt:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Antonio Ruiz-Delgado, David H. Pitt, Colin Smythe
A Review of Object-oriented Approaches in Formal Methods. [Citation Graph (2, 0)][DBLP] Comput. J., 1995, v:38, n:10, pp:777-784 [Journal]
- David H. Pitt
Categories. [Citation Graph (0, 0)][DBLP] CTCS, 1985, pp:6-15 [Conf]
- Stephen A. Schuman, David H. Pitt, Paddy H. Byers
Object-Oriented Process Specification. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:21-70 [Conf]
- David Murphy, David H. Pitt
Real-Timed Concurrent Refineable Behaviours. [Citation Graph (0, 0)][DBLP] FTRTFT, 1992, pp:529-545 [Conf]
- Adrian Colbrook, Colin Smythe, David H. Pitt
Concurrent Data Structures. [Citation Graph (0, 0)][DBLP] ICCI, 1990, pp:346-355 [Conf]
- Andrew F. Watts, David H. Pitt, Colin Smythe
Object Oriented Specification of Multi-Layered Protocols. [Citation Graph (0, 0)][DBLP] ICCI, 1993, pp:133-139 [Conf]
- Paddy Byers, David H. Pitt
Conservative extensions: a cautionary note. [Citation Graph (0, 0)][DBLP] Bulletin of the EATCS, 1990, v:41, n:, pp:196-201 [Journal]
- David H. Pitt, Paddy Byers
The Rest Says Unchanged (Concurrency and State-Based Specification). [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1994, v:6, n:5, pp:471-494 [Journal]
- David H. Pitt, Michael Shields
Local Invariance. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2002, v:14, n:1, pp:35-54 [Journal]
- David H. Pitt, M. W. Shields
Overtaking in Asynchronous Periodic Systems. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1999, v:11, n:5, pp:567-590 [Journal]
- David H. Pitt, David Freestone
The Derivation of Conformance Tests from LOTOS Specifications. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1990, v:16, n:12, pp:1337-1343 [Journal]
Search in 0.002secs, Finished in 0.002secs
|