scientific article; zbMATH DE number 7453964

MaRDI QIDQ5020946zbMATH OpenFDO

Authors Ryan Kavanagh

Publication date 7 January 2022

Full work available at URL https://arxiv.org/abs/2008.13358, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2020.7

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)

Cites work

• A calculus of communicating systems
• An introduction to (co)algebra and (co)induction
• Higher-order processes, functions, and sessions: a monadic integration
• scientific article; zbMATH DE number 3972158 (Why is no real title available?)
• scientific article; zbMATH DE number 3755844 (Why is no real title available?)
• Introduction to bisimulation and coinduction
• Linear logical relations and observational equivalences for session-based concurrency
• Polarized Substructural Session Types
• 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
• 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
• Proof-carrying code in a session-typed process calculus
• Propositions as sessions
• Relating state-based and process-based concurrency through linear logic (full-version)
• Session types as intuitionistic linear propositions
• Weak and strong fairness in CCS

Cited in

(4)

• Fairness and communication-based semantics for session-typed languages
• Observed Communication Semantics for Classical Processes
• Back to futures
• Semantics of communication in simple multimodular programs

This page was built for publication:

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