swMATH28573MaRDI QIDQ40287FDOQ40287
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Psi_Calculi.html
Cited In (19)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity
- Mechanizing a process algebra for network protocols
- A formalized general theory of syntax with bindings: extended version
- General bindings and alpha-equivalence in Nominal Isabelle
- Psi-calculi in Isabelle
- Computing strong and weak bisimulations for psi-calculi
- A case study in programming coinductive proofs: Howe's method
- A canonical locally named representation of binding
- HYBRID
- Gmeta
- LNgen
- Nominal Isabelle
- CC-Pi
- MiniAgda
- Unbound
- AWN
- General bindings and alpha-equivalence in Nominal Isabelle
- Psi-calculi: a framework for mobile processes with nominal data and logic
- POPLMark reloaded: mechanizing proofs by logical relations
This page was built for software: Psi-calculi
