scientific article; zbMATH DE number 7453964

MaRDI QIDQ5020946

Ryan Kavanagh

Publication date: 7 January 2022

Full work available at URL: https://arxiv.org/abs/2008.13358

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

Back to futures ⋮ Fairness and communication-based semantics for session-typed languages

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logical relations and observational equivalences for session-based concurrency
• Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22--29, 2017. Proceedings
• Relating state-based and process-based concurrency through linear logic (full-version)
• A calculus of communicating systems
• Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14--20, 2018. Proceedings
• Weak and strong fairness in CCS
• Propositions as sessions
• Polarized Substructural Session Types
• Proof-Carrying Code in a Session-Typed Process Calculus
• Introduction to Bisimulation and Coinduction
• Session Types as Intuitionistic Linear Propositions
• Higher-Order Processes, Functions, and Sessions: A Monadic Integration
• An introduction to (co)algebra and (co)induction

This page was built for publication: