2001 |
10 | EE | Graham M. Birtwistle,
Chris M. N. Tofts:
Getting Demos models right. (I). Practice.
Simul. Pr. Theory 8(6-7): 377-393 (2001) |
9 | EE | Graham 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 |
7 | EE | 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 |
6 | EE | Graham 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 |
2 | EE | Graham 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) |