Graham M. Birtwistle

23 papers Misc 5Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2014 — ch.
A Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines.
HOWARD-60
Graham M. Birtwistle, Kenneth S. Stevens
2014 — conf
Modelling Mixed 4phase Pipelines: Structures and Patterns.
ASYNC
Graham M. Birtwistle, Kenneth S. Stevens
2010 — conf
Concurrency Reduction of Untimed Latch Protocols - Theory and Practice.
ASYNC
Santosh N. Varanasi, Kenneth S. Stevens, Graham M. Birtwistle
2008 — conf
The Family of 4-phase Latch Protocols.
ASYNC
Graham M. Birtwistle, Kenneth S. Stevens
2001 J jnl
Getting Demos models right. (I). Practice.
Simul. Pract. Theory
Graham M. Birtwistle, Chris M. N. Tofts
2001 J jnl
Getting Demos models right. (II) ... and theory.
Simul. Pract. Theory
Graham M. Birtwistle, Chris M. N. Tofts
1998 J jnl
A Denotational Semantics for a Process-Based Simulation Language.
ACM Trans. Model. Comput. Simul.
Chris M. N. Tofts, Graham M. Birtwistle
1998 — conf
A Subjective Look at Objects.
ESM
Graham M. Birtwistle
1997 J jnl
Relating operational and denotational descriptions of [pi]Demos.
Simul. Pract. Theory
Graham M. Birtwistle, Chris M. N. Tofts
1996 — ed.
Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, Banff, Canada, August 27 - September 3, 1995, Proceedings)
Banff Higher Order Workshop
Faron Moller, Graham M. Birtwistle
1993 J jnl
Towards a verified MiniSML/SECD system.
Softw. Eng. J.
Todd Simpson, Graham M. Birtwistle, Brian T. Graham
1991 — conf
Implementing and Verifying Finite-State Machines Using Types in Higher-Order Logic.
TPHOLs
Shiu-Kai Chin, Graham M. Birtwistle
1989 — conf
Formalising the Design of an SECD chip.
Hardware Specification, Verification and Synthesis
Brian T. Graham, Graham M. Birtwistle
1988 J jnl
A model for procedures passed as parameters.
ACM SIGPLAN Notices
Graham M. Birtwistle, Kenneth D. Loose
1986 J jnl
Multiprocessor Ray Tracing.
Comput. Graph. Forum
John G. Cleary, Brian Wyvill, Graham M. Birtwistle, Reddy Vatti
1985 J jnl
The coroutines of Hanoi.
ACM SIGPLAN Notices
Graham M. Birtwistle
1983 J jnl
Jade: A Distributed Software Prototyping Environment.
ACM SIGOPS Oper. Syst. Rev.
Ian H. Witten, Graham M. Birtwistle, John G. Cleary, David R. Hill, Danny Levinson, Greg Lomow, Radford M. Neal, Murray Peterson, Brian W. Unger, Brian Wyvill
1982 Misc conf
A computer systems simulator.
WSC
Ken Barker, Graham M. Birtwistle
1982 Misc conf
Discrete event simulation with Demos.
WSC
Graham M. Birtwistle, Paul Luker
1981 Misc conf
A portable random number generator with built-in well-spread seeds.
WSC
Graham M. Birtwistle
1981 Misc conf
Advanced use of Simula.
WSC
Graham M. Birtwistle
1981 Misc conf
Introduction to Demos.
WSC
Graham M. Birtwistle
1979 — book
DEMOS - a system for discrete event modelling on Simula.
Graham M. Birtwistle