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