Search the dblp DataBase

Publications of Author

1. 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]
   
2. David H. Pitt
   Categories. [Citation Graph (0, 0)][DBLP]
   CTCS, 1985, pp:6-15 [Conf]
   
3. 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]
   
4. David Murphy, David H. Pitt
   Real-Timed Concurrent Refineable Behaviours. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1992, pp:529-545 [Conf]
   
5. Adrian Colbrook, Colin Smythe, David H. Pitt
   Concurrent Data Structures. [Citation Graph (0, 0)][DBLP]
   ICCI, 1990, pp:346-355 [Conf]
   
6. 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]
   
7. 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]
   
8. 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]
   
9. David H. Pitt, Michael Shields
   Local Invariance. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2002, v:14, n:1, pp:35-54 [Journal]
   
10. 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]
    
11. 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]