Asynchronous functional sessions: cyclic and concurrent

MaRDI QIDQ6190869zbMATH OpenFDO

Authors Bas van den Heuvel, Jorge A. Pérez

Publication date 6 February 2024

Full work available at URL https://arxiv.org/abs/2209.06820, https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?EXPSOS22.5

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A Semantics for Propositions as Sessions
• Talking bananas: structural recursion for session types
• Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• A New Type System for Deadlock-Free Processes
• A Semantics for Propositions as Sessions
• A new linear logic for deadlock-free session-typed processes
• Comparing type systems for deadlock freedom
• Deadlock and lock freedom in the linear -calculus
• Lenient evaluation and parallelism
• Linear logic propositions as session types
• Linear type theory for asynchronous session types
• MULTILISP: a language for concurrent symbolic computation
• On the unity of logic
• Propositions as sessions
• Session types as intuitionistic linear propositions
• Towards a unified approach to encodability and separation results for process calculi
• Types for deadlock-free higher-order programs

Cited in

(1)

• Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks

This page was built for publication: Asynchronous functional sessions: cyclic and concurrent

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