Logical Semantics of Types for Concurrency
From MaRDI portal
Publication:3612481
DOI10.1007/978-3-540-73859-6_2zbMath1214.68244OpenAlexW99817410MaRDI QIDQ3612481
Publication date: 10 March 2009
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73859-6_2
Related Items
An algebra of behavioural types ⋮ Deciding safety properties in infinite-state pi-calculus via behavioural types ⋮ Spatial and behavioral types in the pi-calculus ⋮ Linear logical relations and observational equivalences for session-based concurrency ⋮ Spatial-behavioral types for concurrency and resource control in distributed systems ⋮ Linear logic propositions as session types