David H. Pitt

2002
16	EE	David H. Pitt, Michael Shields: Local Invariance. Formal Asp. Comput. 14(1): 35-54 (2002)
1999
15	EE	David H. Pitt, M. W. Shields: Overtaking in Asynchronous Periodic Systems. Formal Asp. Comput. 11(5): 567-590 (1999)
1995
14		David H. Pitt, David E. Rydeheard, Peter Johnstone: Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings Springer 1995
13		Antonio Ruiz-Delgado, David H. Pitt, Colin Smythe: A Review of Object-oriented Approaches in Formal Methods. Comput. J. 38(10): 777-784 (1995)
1994
12		David H. Pitt, Paddy Byers: The Rest Says Unchanged (Concurrency and State-Based Specification). Formal Asp. Comput. 6(5): 471-494 (1994)
1993
11		Andrew F. Watts, David H. Pitt, Colin Smythe: Object Oriented Specification of Multi-Layered Protocols. ICCI 1993: 133-139
1992
10		David Murphy, David H. Pitt: Real-Timed Concurrent Refineable Behaviours. FTRTFT 1992: 529-545
1991
9		David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard: Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings Springer 1991
1990
8		Adrian Colbrook, Colin Smythe, David H. Pitt: Concurrent Data Structures. ICCI 1990: 346-355
7		Paddy Byers, David H. Pitt: Conservative extensions: a cautionary note. Bulletin of the EATCS 41: 196-201 (1990)
6	EE	David H. Pitt, David Freestone: The Derivation of Conformance Tests from LOTOS Specifications. IEEE Trans. Software Eng. 16(12): 1337-1343 (1990)
1989
5		David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné: Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings Springer 1989
1988
4		Stephen A. Schuman, David H. Pitt, Paddy H. Byers: Object-Oriented Process Specification. Specification and Verification of Concurrent Systems 1988: 21-70
1987
3		David H. Pitt, Axel Poigné, David E. Rydeheard: Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings Springer 1987
1986
2		David H. Pitt, Samson Abramsky, Axel Poigné, David E. Rydeheard: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings Springer 1986
1985
1		David H. Pitt: Categories. CTCS 1985: 6-15

Coauthor Index

1	Samson Abramsky	[2] [9]
2	Paddy Byers	[7] [12]
3	Paddy H. Byers	[4]
4	Adrian Colbrook	[8]
5	Pierre-Louis Curien	[9]
6	Peter Dybjer	[5]
7	David Freestone	[6]
8	Peter Johnstone	[14]
9	David Murphy	[10]
10	Andrew M. Pitts	[5] [9]
11	Axel Poigné	[2] [3] [5] [9]
12	Antonio Ruiz-Delgado	[13]
13	David E. Rydeheard	[2] [3] [5] [9] [14]
14	Stephen A. Schuman	[4]
15	M. W. Shields	[15]
16	Michael Shields	[16]
17	Colin Smythe	[8] [11] [13]
18	Andrew F. Watts	[11]

Colors in the list of coauthors