The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David H. Pitt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002