A Linear Account of Session Types in the Pi Calculus
From MaRDI portal
Publication:3584947
DOI10.1007/978-3-642-15375-4_30zbMath1283.68244OpenAlexW2046798675MaRDI QIDQ3584947
Marco Giunti, Vasco Thudichum Vasconcelos
Publication date: 31 August 2010
Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15375-4_30
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
On projecting processes into session types ⋮ Binary Session Types for Psi-Calculi ⋮ Algorithmic type checking for a pi-calculus with name matching and session types ⋮ Linearity, session types and the Pi calculus ⋮ Linear logic propositions as session types ⋮ Fundamentals of session types
This page was built for publication: A Linear Account of Session Types in the Pi Calculus