# Paul H. B. Gardiner

According to our database

^{1}, Paul H. B. Gardiner## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2003

Power simulation and its relation to traces and failures refinement.

Theor. Comput. Sci., 2003

A Methodology for Model-Checking Ad-hoc Networks.

Proceedings of the Model Checking Software, 2003

2000

Power Simulation and its Relation to Traces and Failures Refinement.

Electr. Notes Theor. Comput. Sci., 2000

1996

Structured Development of a Virtual Shared Memory System.

Formal Asp. Comput., 1996

A Tactic Calculus-Abridged Version.

Formal Asp. Comput., 1996

1995

Algebraic Proofs of Consistency and Completeness.

Theor. Comput. Sci., 1995

Hierarchical Compression for Model-Checking CSP or How to Check 10

^{20}Dining Philosophers for Deadlock.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

1994

An Algebraic Construction of Predicate Transformers.

Sci. Comput. Program., 1994

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

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

1993

A Single Complete Rule for Data Refinement.

Formal Asp. Comput., 1993

1992

Reasoning Algebraically about Recursion.

Sci. Comput. Program., 1992

An Algebraic Construction of Predicate Transformers.

Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29, 1992

1991

Data Refinement of Predicate Transformers.

Theor. Comput. Sci., 1991

1990

Data Refinement by Calculation.

Acta Inf., 1990

A Simpler Semantics for Z.

Proceedings of the Z User Workshop, 1990