| 2003 |
|---|
| 13 | EE | Irfan Zakiuddin,
Michael Goldsmith,
Paul Whittaker,
Paul H. B. Gardiner:
A Methodology for Model-Checking Ad-hoc Networks.
SPIN 2003: 181-196 |
| 1996 |
|---|
| 12 | | Karen Seidel,
Paul H. B. Gardiner:
Structured Development of a Virtual Shared Memory System.
Formal Asp. Comput. 8(1): 67-85 (1996) |
| 11 | | A. P. Martin,
Paul H. B. Gardiner,
Jim Woodcock:
A Tactic Calculus-Abridged Version.
Formal Asp. Comput. 8(4): 479-489 (1996) |
| 1995 |
|---|
| 10 | | A. W. Roscoe,
Paul H. B. Gardiner,
Michael Goldsmith,
J. R. Hulance,
D. M. Jackson,
J. B. Scattergood:
Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock.
TACAS 1995: 133-152 |
| 9 | EE | Paul H. B. Gardiner:
Algebraic Proofs of Consistency and Completeness.
Theor. Comput. Sci. 150(1): 161-191 (1995) |
| 1994 |
|---|
| 8 | | Jim Woodcock,
Paul H. B. Gardiner,
J. R. Hulance:
The Formal Specification in Z of Defence Standard 00-56.
Z User Workshop 1994: 9-28 |
| 7 | | Paul H. B. Gardiner,
Clare E. Martin,
Oege de Moor:
An Algebraic Construction of Predicate Transformers.
Sci. Comput. Program. 22(1-2): 21-44 (1994) |
| 1993 |
|---|
| 6 | | Paul H. B. Gardiner,
Carroll Morgan:
A Single Complete Rule for Data Refinement.
Formal Asp. Comput. 5(4): 367-382 (1993) |
| 1992 |
|---|
| 5 | | Paul H. B. Gardiner,
Clare E. Martin,
Oege de Moor:
An Algebraic Construction of Predicate Transformers.
MPC 1992: 100-121 |
| 4 | | Paul H. B. Gardiner,
Paritosh K. Pandya:
Reasoning Algebraically about Recursion.
Sci. Comput. Program. 18(3): 271-280 (1992) |
| 1991 |
|---|
| 3 | | Paul H. B. Gardiner,
Carroll Morgan:
Data Refinement of Predicate Transformers.
Theor. Comput. Sci. 87(1): 143-162 (1991) |
| 1990 |
|---|
| 2 | | Paul H. B. Gardiner,
P. J. Lupton,
Jim Woodcock:
A Simpler Semantics for Z.
Z User Workshop 1990: 3-11 |
| 1989 |
|---|
| 1 | | Carroll Morgan,
Paul H. B. Gardiner:
Data Refinement by Calculation.
Acta Inf. 27(6): 481-503 (1989) |
