Resource sharing via capability-based multiparty session types

DOI10.1007/978-3-030-34968-4_24zbMATH Open1540.68157MaRDI QIDQ6536357

Simon J. Gay, Ornela Dardha, A. Laura Voinea

Publication date: 19 April 2024

zbMATH Keywords

concurrent programmingsession typesresource sharing

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fundamentals of session types
• Types and programing languages
• Linearity, Control Effects, and Behavioral Types
• Multiparty asynchronous session types
• Type Reconstruction for the Linear \pi-Calculus with Composite Regular Types
• Session Types as Intuitionistic Linear Propositions
• Typestate: A programming language concept for enhancing software reliability
• Propositions as sessions
• Linear type theory for asynchronous session types
• Global progress for dynamically interleaved multiparty sessions
• Parameterised Multiparty Session Types
• Parameterised Multiparty Session Types
• Manifest deadlock-freedom for shared session types

Related Items (1)

Safe session-based concurrency with shared linear state

This page was built for publication: Resource sharing via capability-based multiparty session types

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