Manifest deadlock-freedom for shared session types

DOI10.1007/978-3-030-17184-1_22MaRDI QIDQ6070799zbMATH OpenFDO

Authors Stephanie Balzer, Bernardo Toninho, Frank Pfenning

Publication date 24 November 2023

Published in Programming Languages and Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-17184-1_22

zbMATH Keywords

deadlock-freedomlinear and shared session types

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Comparing deadlock-free session typed processes
• Deadlock-freedom in resource contentions
• Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
• CONCUR 2004 - Concurrency Theory
• Deadlock-freedom in component systems with architectural constraints
• Deadlock-freedom (and safety) of transactions in a distributed database
• Comparing type systems for deadlock freedom
• Session types revisited
• Deadlock-freedom-by-design, multiparty asynchronous global programming
• Deconfined Global Types for Asynchronous Sessions

Cited in

(8)

• Relating Functional and Imperative Session Types
• Probabilistic Analysis of Binary Sessions
• Modal crash types for intermittent computing
• Safe session-based concurrency with shared linear state
• Resource sharing via capability-based multiparty session types
• Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
• Deadlock freedom for asynchronous and cyclic process networks
• Worst-case input generation for concurrent programs under non-monotone resource metrics

This page was built for publication: Manifest deadlock-freedom for shared session types

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