Linear Logical Relations for Session-Based Concurrency
From MaRDI portal
Publication:2892750
DOI10.1007/978-3-642-28869-2_27zbMath1352.68189OpenAlexW82946149WikidataQ57652397 ScholiaQ57652397MaRDI QIDQ2892750
Bernardo Toninho, Luís Caires, Jorge A. Pérez, Frank Pfenning
Publication date: 22 June 2012
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28869-2_27
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (9)
Fairness and communication-based semantics for session-typed languages ⋮ Unnamed Item ⋮ Choreographies, logically ⋮ Linearity, Control Effects, and Behavioral Types ⋮ A Higher-Order Logic for Concurrent Termination-Preserving Refinement ⋮ Linear logical relations and observational equivalences for session-based concurrency ⋮ On asynchronous eventful session semantics ⋮ Corecursion and Non-divergence in Session-Typed Processes ⋮ Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
This page was built for publication: Linear Logical Relations for Session-Based Concurrency
