Psi-calculi
From MaRDI portal
Software:40287
swMATH28573MaRDI QIDQ40287FDOQ40287
Author name not available (Why is that?)
Cited In (11)
- A case study in programming coinductive proofs: Howe’s method
- 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
- POPLMark reloaded: Mechanizing proofs by logical relations
- General bindings and alpha-equivalence in Nominal Isabelle
- Psi-calculi in Isabelle
- Computing strong and weak bisimulations for psi-calculi
- A canonical locally named representation of binding
- General Bindings and Alpha-Equivalence in Nominal Isabelle
- Psi-calculi: a framework for mobile processes with nominal data and logic
This page was built for software: Psi-calculi
