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

Cached

Download Links

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

Documents Related by Co-Citation

8 A Full Formalisation of π-Calculus Theory in the Calculus of Constructions – Daniel Hirschkoff - 1997
13 pi-calculus in (Co)Inductive Type Theory – Furio Honsell, Marino Miculan, Ivan Scagnetto - 2001
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
86 The Polyadic pi-Calculus: a Tutorial – Robin Milner - 1991
8 A fully adequate shallow embedding of the π-calculus in Isabelle/HOL with mechanized syntax analysis – C Röckl, D Hirschkoff - 2003
9 Software Specification and Verification in Rewriting Logic – José Meseguer - 2003
23 A Relevant Analysis of Natural Deduction – Samin Ishtiaq, Samin Ishtiaq - 1999
46 A Concurrent Logical Framework II: Examples and Applications – Iliano Cervesato, Frank Pfenning, David Walker, Kevin Watkins - 2002
42 Proof Theoretic Approach To Specification Languages – Jawahar Lal Chirimar - 1995
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
86 A Multiple-Conclusion Meta-Logic – Dale Miller - 1994
160 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999
333 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
730 Notions of Computation and Monads – Eugenio Moggi - 1991
58 Typing correspondence assertions for communication protocols – Andrew D. Gordon - 2001
61 A Proof Theory for Generic Judgments – Dale Miller, Alwen Tiu - 2003
239 Communicating and Mobile Systems: The Pi Calculus – R Milner - 1999
442 The π-calculus: A Theory of Mobile Processes – Davide Sangiorgi, David Walker - 2001