Pages that link to "Item:Q4457837"
From MaRDI portal
The following pages link to A fully adequate shallow embedding of the π-calculus in Isabelle/HOL with mechanized syntax analysis (Q4457837):
Displayed 6 items.
- ASP\(_{\text{fun}}\) : a typed functional active object calculus (Q433340) (← links)
- \(\mathrm{HO}\pi\) in Coq (Q2031410) (← links)
- A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle (Q2871830) (← links)
- Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)
- Psi-calculi in Isabelle (Q5890661) (← links)
- Psi-calculi in Isabelle (Q5895110) (← links)