Graham M. Birtwistle - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

Concurrency Reduction of Untimed Latch Protocols - Theory and PracticeSantosh N. Varanasi, Kenneth S. Stevens, Graham M. Birtwistle. async 2010: 26-37 [doi]

2001

Getting Demos models right. (I). PracticeGraham M. Birtwistle, Chris M. N. Tofts. simpra, 8(6-7):377-393, 2001. [doi]

Getting Demos models right. (II) ... and theoryGraham M. Birtwistle, Chris M. N. Tofts. simpra, 8(6-7):395-414, 2001. [doi]

1998

A Subjective Look at ObjectsGraham M. Birtwistle. scesm 1998: 3-8

A Denotational Semantics for a Process-Based Simulation LanguageChris M. N. Tofts, Graham M. Birtwistle. tomacs, 8(3):281-305, 1998. [doi]

1997

Relating operational and denotational descriptions of [pi]DemosGraham M. Birtwistle, Chris M. N. Tofts. simpra, 5(1):1-33, 1997. [doi]

1996

Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, August 27 - September 3, 1995, Proceedings)Faron Moller, Graham M. Birtwistle, editors, Volume 1043 of Lecture Notes in Computer Science, Springer, 1996.

1991

Implementing and Verifying Finite-State Machines Using Types in Higher-Order LogicShiu-Kai Chin, Graham M. Birtwistle. tphol 1992: 121-129

1989

Formalising the Design of an SECD chipBrian T. Graham, Graham M. Birtwistle. msiw 1990: 40-66

1988

A model for procedures passed as parametersGraham M. Birtwistle, Kenneth D. Loose. SIGPLAN, 23(2):36-43, 1988. [doi]

1983

Jade: A Distributed Software Prototyping EnvironmentIan H. Witten, Graham M. Birtwistle, John G. Cleary, David R. Hill, Danny Levinson, Greg Lomow, Radford M. Neal, Murray Peterson, Brian Unger, Brian Wyvill. sigops, 17(3):10-23, 1983.

1979

DEMOS - a system for discrete event modelling on SimulaGraham M. Birtwistle. Macmillan, 1979.