A Resource Analysis of the π-calculus

DOI10.1016/j.entcs.2011.09.028zbMath1342.68246OpenAlexW2078956993WikidataQ113318217 ScholiaQ113318217MaRDI QIDQ5739364

Aaron Joseph Turon, Mitchell Wand

Publication date: 15 July 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.09.028

zbMATH Keywords

full abstractionresourcespi-calculusseparation logicownershipscope extrusion

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• A semantics for concurrent separation logic
• Resources, concurrency, and local reasoning
• A calculus of mobile processes. I
• A fully abstract model for the \(\pi\)-calculus.
• A fully abstract denotational semantics for the \(\pi\)-calculus
• Deny-Guarantee Reasoning
• Barbed bisimulation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Resource Analysis of the π-calculus