Paul H. B. Gardiner

According to our database, Paul H. B. Gardiner authored at least 13 papers between 1990 and 2003.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2003

A Methodology for Model-Checking Ad-hoc Networks.

Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner

Proceedings of the Model Checking Software, 2003

1999

Power Simulation and its Relation to Traces and Failures Refinement.

Paul H. B. Gardiner

Proceedings of the Workshop on Secure Architectures and Information Flow 1999, 1999

1996

Structured Development of a Virtual Shared Memory System.

Karen Seidel, Paul H. B. Gardiner

Formal Aspects Comput., 1996

A Tactic Calculus-Abridged Version.

Andrew P. Martin, Paul H. B. Gardiner, Jim Woodcock

Formal Aspects Comput., 1996

1995

Algebraic Proofs of Consistency and Completeness.

Paul H. B. Gardiner

Theor. Comput. Sci., 1995

Hierarchical Compression for Model-Checking CSP or How to Check 10²⁰ Dining Philosophers for Deadlock.

A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. Bryan Scattergood

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

1994

An Algebraic Construction of Predicate Transformers.

Paul H. B. Gardiner, Clare E. Martin, Oege de Moor

Sci. Comput. Program., 1994

The Formal Specification in Z of Defence Standard 00-56.

Jim Woodcock, Paul H. B. Gardiner, J. R. Hulance

Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

1993

A Single Complete Rule for Data Refinement.

Paul H. B. Gardiner, Carroll Morgan

Formal Aspects Comput., 1993

1992

Reasoning Algebraically about Recursion.

Paul H. B. Gardiner, Paritosh K. Pandya

Sci. Comput. Program., 1992

1991

Data Refinement of Predicate Transformers.

Paul H. B. Gardiner, Carroll Morgan

Theor. Comput. Sci., 1991

1990

Data Refinement by Calculation.

Carroll Morgan, Paul H. B. Gardiner

Acta Informatica, 1990

A Simpler Semantics for Z.

Paul H. B. Gardiner, P. J. Lupton, Jim Woodcock

Proceedings of the Z User Workshop, 1990