Graham M. Birtwistle

	2010
12		Santosh N. Varanasi, Kenneth S. Stevens, Graham M. Birtwistle: Concurrency Reduction of Untimed Latch Protocols - Theory and Practice. ASYNC 2010: 26-37
	2001
11		Graham M. Birtwistle, Chris M. N. Tofts: Getting Demos models right. (I). Practice. Simul. Pr. Theory 8(6-7): 377-393 (2001)
10		Graham M. Birtwistle, Chris M. N. Tofts: Getting Demos models right. (II) ... and theory. Simul. Pr. Theory 8(6-7): 395-414 (2001)
	1998
9		Graham M. Birtwistle: A Subjective Look at Objects. ESM 1998: 3-8
8		Chris M. N. Tofts, Graham M. Birtwistle: A Denotational Semantics for a Process-Based Simulation Language. ACM Trans. Model. Comput. Simul. 8(3): 281-305 (1998)
	1997
7		Graham M. Birtwistle, Chris M. N. Tofts: Relating operational and denotational descriptions of [pi]Demos. Simul. Pr. Theory 5(1): 1-33 (1997)
	1996
6		Faron Moller, Graham M. Birtwistle: Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, August 27 - September 3, 1995, Proceedings) Springer 1996
	1991
5		Shiu-Kai Chin, Graham M. Birtwistle: Implementing and Verifying Finite-State Machines Using Types in Higher-Order Logic. TPHOLs 1991: 121-129
	1989
4		Brian T. Graham, Graham M. Birtwistle: Formalising the Design of an SECD chip. Hardware Specification, Verification and Synthesis 1989: 40-66
	1988
3		Graham M. Birtwistle, Kenneth D. Loose: A model for procedures passed as parameters. SIGPLAN Notices 23(2): 36-43 (1988)
	1983
2		Ian H. Witten, Graham M. Birtwistle, John G. Cleary, David R. Hill, Danny Levinson, Greg Lomow, Radford M. Neal, Murray Peterson, Brian Unger, Brian Wyvill: Jade: A Distributed Software Prototyping Environment. Operating Systems Review 17(3): 10-23 (1983)
	1979
1		Graham M. Birtwistle: DEMOS - a system for discrete event modelling on Simula. Macmillan 1979: 1-215

Coauthor Index

1	Shiu-Kai Chin	[5]
2	John G. Cleary	[2]
3	Brian T. Graham	[4]
4	David R. Hill	[2]
5	Danny Levinson	[2]
6	Greg Lomow	[2]
7	Kenneth D. Loose	[3]
8	Faron Moller	[6]
9	Radford M. Neal	[2]
10	Murray Peterson	[2]
11	Kenneth S. Stevens (Ken S. Stevens)	[12]
12	Chris M. N. Tofts	[7] [8] [10] [11]
13	Brian Unger	[2]
14	Santosh N. Varanasi	[12]
15	Ian H. Witten	[2]
16	Brian Wyvill	[2]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page