Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	David H.
Last name:	Pitt
DBLP:	47/4984
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 11 of 11  

Select a publication
Show	Title	Venue	Rating	Date
	David H. Pitt, Michael Shields. Local Invariance.	Formal Asp. Comput. 2003, Volume 14	(0)	2002
	David H. Pitt, M. W. Shields. Overtaking in Asynchronous Periodic Systems.	Formal Asp. Comput. 1999, Volume 11	(0)	1999
	Antonio Ruiz-Delgado, David H. Pitt, Colin Smythe. A Review of Object-oriented Approaches in Formal Methods.	Comput. J. 1995, Volume 38	(0)	1995
	David H. Pitt, Paddy Byers. The Rest Says Unchanged (Concurrency and State-Based Specification).	Formal Asp. Comput. 1994, Volume 6	(0)	1994
	Andrew F. Watts, David H. Pitt, Colin Smythe. Object Oriented Specification of Multi-Layered Protocols.	Computing and Information - ICCI'93, Fifth International Conference on Computing and Information, Sudbury, Ontario, Canada, May 27-29, 1993, Proceedings 1993	(0)	1993
	David Murphy, David H. Pitt. Real-Timed Concurrent Refineable Behaviours.	Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings 1991	(0)	1992
	Adrian Colbrook, Colin Smythe, David H. Pitt. Concurrent Data Structures.	Advances in Computing and Information - ICCI'90, International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990, Proceedings 1990	(0)	1990
	Paddy Byers, David H. Pitt. Conservative extensions: a cautionary note.	Bulletin of the EATCS 1990, Volume 41	(0)	1990
	David H. Pitt, David Freestone. The Derivation of Conformance Tests from LOTOS Specifications.	IEEE Trans. Software Eng. 1990, Volume 16	(0)	1990
	Stephen A. Schuman, David H. Pitt, Paddy H. Byers. Object-Oriented Process Specification.	Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK] 1990	(0)	1988
	David H. Pitt. Categories.	Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings 1986	(0)	1985

Your query returned 11 matches in the database.