Graham M. Birtwistle

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

Modelling Mixed 4phase Pipelines: Structures and Patterns.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Symposium on Asynchronous Circuits and Systems, 2014

2010

Concurrency Reduction of Untimed Latch Protocols - Theory and Practice.

[BibT_eX]

[DOI]

Santosh N. Varanasi

Proceedings of the 16th IEEE International Symposium on Asynchronous Circuits and Systems, 2010

2008

The Family of 4-phase Latch Protocols.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Symposium on Asynchronous Circuits and Systems, 2008

2001

Getting Demos models right. (II) ... and theory.

[BibT_eX]

[DOI]

Simul. Pract. Theory, 2001

Getting Demos models right. (I). Practice.

[BibT_eX]

[DOI]

Simul. Pract. Theory, 2001

1998

A Denotational Semantics for a Process-Based Simulation Language.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 1998

A Subjective Look at Objects.

[BibT_eX]

Proceedings of the 12<sup>th</sup> European Simulation Multiconference - Simulation, 1998

1997

Relating operational and denotational descriptions of [pi]Demos.

[BibT_eX]

[DOI]

Simul. Pract. Theory, 1997

1993

Towards a verified MiniSML/SECD system.

[BibT_eX]

[DOI]

Todd Simpson

Brian T. Graham

Softw. Eng. J., 1993

1991

Implementing and Verifying Finite-State Machines Using Types in Higher-Order Logic.

[BibT_eX]

Shiu-Kai Chin

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

1989

Formalising the Design of an SECD chip.

[BibT_eX]

[DOI]

Brian T. Graham

Proceedings of the Hardware Specification, 1989

1988

A model for procedures passed as parameters.

[BibT_eX]

[DOI]

Kenneth D. Loose

ACM SIGPLAN Notices, 1988

1986

Multiprocessor Ray Tracing.

[BibT_eX]

[DOI]

Comput. Graph. Forum, 1986

1985

The coroutines of Hanoi.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1985

1983

Jade: A Distributed Software Prototyping Environment.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1983

1982

Discrete event simulation with Demos.

[BibT_eX]

[DOI]

Paul Luker

Proceedings of the 14th conference on Winter Simulation, 1982

A computer systems simulator.

[BibT_eX]

[DOI]

Ken Barker

Proceedings of the 14th conference on Winter Simulation, 1982

1981

Introduction to Demos.

[BibT_eX]

[DOI]

Proceedings of the 13th conference on Winter simulation, 1981

A portable random number generator with built-in well-spread seeds.

[BibT_eX]

[DOI]

Proceedings of the 13th conference on Winter simulation, 1981

Advanced use of Simula.

[BibT_eX]

[DOI]

Proceedings of the 13th conference on Winter simulation, 1981

1979

DEMOS - a system for discrete event modelling on Simula.

[BibT_eX]