A Full Formalisation of pi-Calculus Theory in the Calculus of Constructions

Behavioral equivalence in the polymorphic pi-calculus

Journal of the ACM (JACM)

Modelisation of Timed Automata in Coq

TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software

Mobile Processes: A Commented Bibliography

MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes

Mechanized Operational Semantics via (Co)Induction

TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics

A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL

TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics

Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts

FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures

A Higher-Order Specification of the pi-Calculus

TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics

Mobile processes: a commented bibliography

Modeling and verification of parallel processes

Two case studies of semantics execution in Maude: CCS and LOTOS

Formal Methods in System Design

A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle

Electronic Notes in Theoretical Computer Science (ENTCS)

Specifying Properties of Concurrent Computations in CLF

Electronic Notes in Theoretical Computer Science (ENTCS)

Implementing Spi Calculus Using Nominal Techniques

CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms

Nominal Renaming Sets

LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning

Psi-calculi in Isabelle

TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics

Proof search specifications of bisimulation and modal logics for the π-calculus

ACM Transactions on Computational Logic (TOCL)

A Proof Search Specification of the π-Calculus

Electronic Notes in Theoretical Computer Science (ENTCS)

Nominal techniques in Isabelle/HOL

CADE' 20 Proceedings of the 20th international conference on Automated Deduction