Linear logical relations for session-based concurrency

DOI10.1007/978-3-642-28869-2_27MaRDI QIDQ2892750zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Jorge A. Pérez, Luís Caires, Bernardo Toninho, 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

Mathematics Subject Classification ID

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

Recommendations

• Linear logical relations and observational equivalences for session-based concurrency
• Linear logic propositions as session types
• Session types as intuitionistic linear propositions
• A Semantics for Propositions as Sessions
• A new linear logic for deadlock-free session-typed processes

Cited in

(18)

• A new linear logic for deadlock-free session-typed processes
• Choreographies, logically
• Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
• Fairness and communication-based semantics for session-typed languages
• Corecursion and non-divergence in session-typed processes
• Proofs as executions
• Linearity, control effects, and behavioral types
• A higher-order logic for concurrent termination-preserving refinement
• scientific article; zbMATH DE number 1304382 (Why is no real title available?)
• Cut reduction in linear logic as asynchronous session-typed communication
• Linear logical relations and observational equivalences for session-based concurrency
• On asynchronous eventful session semantics
• Linear logic propositions as session types
• Domain-aware session types
• Safe session-based concurrency with shared linear state
• Fair termination of multiparty sessions
• Comparing session type systems derived from linear logic
• A gentle overview of asynchronous session-based concurrency: deadlock freedom by typing

This page was built for publication: Linear logical relations for session-based concurrency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2892750)