Proof System for Applied Pi Calculus
From MaRDI portal
Publication:3163886
DOI10.1007/978-3-642-15240-5_17zbMath1198.68178OpenAlexW144241110MaRDI QIDQ3163886
Publication date: 27 October 2010
Published in: IFIP Advances in Information and Communication Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15240-5_17
Related Items
A Behavioural Theory for a π-calculus with Preorders ⋮ Deciding equivalence-based properties using constraint solving ⋮ A behavioural theory for a \(\pi\)-calculus with preorders ⋮ On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus ⋮ Computing strong and weak bisimulations for psi-calculi ⋮ A complete symbolic bisimulation for full applied pi calculus ⋮ Formalization of function matrix theory in HOL