The following pages link to (Q4790662):
Displayed 6 items.
- \(\mathrm{HO}\pi\) in Coq (Q2031410) (← links)
- \( \pi\) with leftovers: a mechanisation in Agda (Q2117018) (← links)
- A First-Order Syntax for the π-Calculus in Isabelle/HOL using Permutations (Q2841231) (← links)
- A Coq Library for Verification of Concurrent Programs (Q2871836) (← links)
- Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979) (← links)