Psi-calculi
From MaRDI portal
Software:40287
No author found.
Related Items (11)
Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity ⋮ Mechanizing a process algebra for network protocols ⋮ A canonical locally named representation of binding ⋮ POPLMark reloaded: Mechanizing proofs by logical relations ⋮ Computing strong and weak bisimulations for psi-calculi ⋮ Psi-calculi in Isabelle ⋮ Psi-calculi: a framework for mobile processes with nominal data and logic ⋮ A formalized general theory of syntax with bindings: extended version ⋮ General Bindings and Alpha-Equivalence in Nominal Isabelle ⋮ General Bindings and Alpha-Equivalence in Nominal Isabelle ⋮ A case study in programming coinductive proofs: Howe’s method
This page was built for software: Psi-calculi
