Paul H. B. Gardiner

According to our database1, Paul H. B. Gardiner
  • authored at least 15 papers between 1990 and 2003.
  • has a "Dijkstra number"2 of four.

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 1020 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


  Loading...