A Mechanized Theory of the pi-calculus in HOL (1992)

Cached

Download Links

by T. F. Melham
Citations:8 - 0 self

Active Bibliography

Verification de l'equivalence du pi-calcul dans HOL – Otmane Ait-mohamed, Otmane Ait-mohamed, Projet Eureca - 1994
23 A HOL basis for reasoning about functional programs – Sten Agerholm - 1994
9 A Formalization of the Process Algebra CCS in Higher Order Logic – Monica Nesi - 1992
Nordic Journal of Computing 1(1994), 50–76. A MECHANIZED THEORY OF THE Π-CALCULUS IN HOL – T. F. Melham
24 From LCF to HOL: a short history – Mike Gordon - 2000
39 Experience with embedding hardware description languages in HOL – Richard Boulton, Andrew Gordon, Mike Gordon, John Harrison, John Herbert, John Van Tassel - 1992
Towards Veri ed Systems OVERVIEW – Jonathan Bowen (ed - 1993
Formalizing abstraction mechanisms . . . – Thomas Frederick Melham - 1990
5 A Comparative Study of Coq and HOL – Vincent Zammit - 1997
19 The HOL logic extended with quantification over type variables – Thomas F. Melham - 1993
11 Translating Dependent Type Theory into Higher Order Logic – Bart Jacobs, Tom Melham - 1993
1 Towards a Semantic-Based Verification Environment for the pi-calculus – Gianluigi Ferrari, Gianfranco Modoni, Paola Quaglia - 1995
9 Constraints as Processes – Björn Victor, Joachim Parrow - 1996
Desiderata for Interactive Verification Systems – Konrad Slind, Christian Prehofer - 1994
25 A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations – Gopalan Nadathur - 1996
19 Higher Order Logic – Daniel Leivant - 1994
41 Mechanizing Coinduction and Corecursion in Higher-order Logic – Lawrence C. Paulson - 1997
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
ROCVM: A Formal Execution Model for High Assurance, Heterogeneous Distributed Computing. – Jody Threet