The following pages link to Psi-calculi in Isabelle (Q5895110):
Displayed 7 items.
- Mechanizing a process algebra for network protocols (Q287372) (← links)
- Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants (Q597106) (← links)
- A canonical locally named representation of binding (Q2392482) (← links)
- HOCore in Coq (Q2945640) (← links)
- Psi-calculi in Isabelle (Q5890661) (← links)
- General Bindings and Alpha-Equivalence in Nominal Isabelle (Q5892493) (← links)