( en | de | ru )

 

Disambiguation of "Gardiner, Paul H. B."

Author of the publication

copydeleteadd this publication to your clipboard
The Formal Specification in Z of Defence Standard 00-56.

, , and . Z User Workshop, page 9-28. Springer/BCS, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Frederick Gardiner

Paul B Kröhl

Paul B Kasper

Paul B Kröhl

Paul-H Simons

 

Other publications of authors with the same name

Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock., , , , , and . TACAS, volume 1019 of Lecture Notes in Computer Science, page 133-152. Springer, (1995)Structured Development of a Virtual Shared Memory System., and . Formal Aspects Comput., 8 (1): 67-85 (1996)A Single Complete Rule for Data Refinement., and . Formal Aspects Comput., 5 (4): 367-382 (1993)An Algebraic Construction of Predicate Transformers., , and . MPC, volume 669 of Lecture Notes in Computer Science, page 100-121. Springer, (1992)A Simpler Semantics for Z., , and . Z User Workshop, page 3-11. Springer, (1990)Data Refinement by Calculation., and . Acta Inf., 27 (6): 481-503 (1990)Data Refinement of Predicate Transformers., and . Theor. Comput. Sci., 87 (1): 143-162 (1991)A Methodology for Model-Checking Ad-hoc Networks., , , and . SPIN, volume 2648 of Lecture Notes in Computer Science, page 181-196. Springer, (2003)An Algebraic Construction of Predicate Transformers., , and . Sci. Comput. Program., 22 (1-2): 21-44 (1994)Algebraic Proofs of Consistency and Completeness.. Theor. Comput. Sci., 150 (1): 161-191 (1995)