Paul H. B. Gardiner

Publication Activity (10 Years)

Years Active: 1990-2003
Publications (10 Years): 0

Publications

Paul H. B. Gardiner
Power simulation and its relation to traces and failures refinement. Theor. Comput. Sci. 309 (1-3) (2003)
Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner
A Methodology for Model-Checking Ad-hoc Networks. SPIN (2003)
Paul H. B. Gardiner
Power Simulation and its Relation to Traces and Failures Refinement. Electron. Notes Theor. Comput. Sci. 32 (2000)
Andrew P. Martin, Paul H. B. Gardiner, Jim Woodcock
A Tactic Calculus-Abridged Version. Formal Aspects Comput. 8 (4) (1996)
Karen Seidel, Paul H. B. Gardiner
Structured Development of a Virtual Shared Memory System. Formal Aspects Comput. 8 (1) (1996)
Paul H. B. Gardiner
Algebraic Proofs of Consistency and Completeness. Theor. Comput. Sci. 150 (1) (1995)
A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. Bryan Scattergood
Dining Philosophers for Deadlock. TACAS (1995)
Paul H. B. Gardiner, Clare E. Martin, Oege de Moor
An Algebraic Construction of Predicate Transformers. Sci. Comput. Program. 22 (1-2) (1994)
Jim Woodcock, Paul H. B. Gardiner, J. R. Hulance
The Formal Specification in Z of Defence Standard 00-56. Z User Workshop (1994)
Paul H. B. Gardiner, Carroll Morgan
A Single Complete Rule for Data Refinement. Formal Aspects Comput. 5 (4) (1993)
Paul H. B. Gardiner, Paritosh K. Pandya
Reasoning Algebraically about Recursion. Sci. Comput. Program. 18 (3) (1992)
Paul H. B. Gardiner, Clare E. Martin, Oege de Moor
An Algebraic Construction of Predicate Transformers. MPC (1992)
Paul H. B. Gardiner, Carroll Morgan
Data Refinement of Predicate Transformers. Theor. Comput. Sci. 87 (1) (1991)
Paul H. B. Gardiner, P. J. Lupton, Jim Woodcock
A Simpler Semantics for Z. Z User Workshop (1990)
Carroll Morgan, Paul H. B. Gardiner
Data Refinement by Calculation. Acta Informatica 27 (6) (1990)