dblp.uni-trier.dewww.uni-trier.de

Graham M. Birtwistle

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
10EEGraham M. Birtwistle, Chris M. N. Tofts: Getting Demos models right. (I). Practice. Simul. Pr. Theory 8(6-7): 377-393 (2001)
9EEGraham M. Birtwistle, Chris M. N. Tofts: Getting Demos models right. (II) ... and theory. Simul. Pr. Theory 8(6-7): 395-414 (2001)
1998
8 Graham M. Birtwistle: A Subjective Look at Objects. ESM 1998: 3-8
7EEChris 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
6EEGraham M. Birtwistle, Chris M. N. Tofts: Relating operational and denotational descriptions of [pi]Demos. Simul. Pr. Theory 5(1): 1-33 (1997)
1996
5 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
4 Shiu-Kai Chin, Graham M. Birtwistle: Implementing and Verifying Finite-State Machines Using Types in Higher-Order Logic. TPHOLs 1991: 121-129
1989
3 Brian T. Graham, Graham M. Birtwistle: Formalising the Design of an SECD chip. Hardware Specification, Verification and Synthesis 1989: 40-66
1988
2EEGraham M. Birtwistle, Kenneth D. Loose: A model for procedures passed as parameters. SIGPLAN Notices 23(2): 36-43 (1988)
1983
1 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)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)