A Complete Symbolic Bisimulation for Full Applied Pi Calculus

DOI10.1007/978-3-642-11266-9_46zbMath1274.68242OpenAlexW1599897657MaRDI QIDQ3401115

Jia Liu, Huimin Lin

Publication date: 28 January 2010

Published in: SOFSEM 2010: Theory and Practice of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11266-9_46

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Deciding equivalence-based properties using constraint solving ⋮ Compositional equivalences based on open pNets ⋮ Computing strong and weak bisimulations for psi-calculi ⋮ A complete symbolic bisimulation for full applied pi calculus ⋮ Automated Verification of Equivalence Properties of Cryptographic Protocols

This page was built for publication: A Complete Symbolic Bisimulation for Full Applied Pi Calculus