Affine sessions

DOI10.23638/LMCS-14(4:14)2018MaRDI QIDQ4558783zbMATH OpenFDO

Authors Dimitris Mostrous, Vasco T. Vasconcelos

Publication date 30 November 2018

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

zbMATH Keywords

pi-calculusaffine logicsession typing

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Session types at the mirror
• Fundamentals of session types
• Session types revisited
• CONCUR 2004 - Concurrency Theory
• Mixed sessions

Cites work

• A calculus of mobile processes. II
• A theory of contracts for web services
• Affine sessions
• Algorithmic type checking for a pi-calculus with name matching and session types
• Computational interpretations of linear logic
• Decidability of linear affine logic
• Functions as processes
• Fundamentals of session types
• Global escape in multiparty sessions
• Global progress for dynamically interleaved multiparty sessions
• Intuitionistic light affine logic
• Linear logic
• Linear logic propositions as session types
• Multiparty asynchronous session types
• On the expressive power of process interruption and compensation
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• Propositions as sessions
• Session types as intuitionistic linear propositions
• Structured Interactional Exceptions in Session Types
• Subtyping for session types in the pi calculus
• The Conversation Calculus: A Model of Service-Oriented Computation

Cited in

(9)

• Structured Interactional Exceptions in Session Types
• Crash-stop failures in asynchronous multiparty session types
• Safe session-based concurrency with shared linear state
• Affine sessions
• Assembling Sessions
• Effects as sessions, sessions as effects
• Timeout asynchronous session types: safe asynchronous mixed-choice for timed interactions
• MAG\(\pi\): types for failure-prone communication
• Resource sharing via capability-based multiparty session types

Describes a project that uses

Uses Software

• Python

This page was built for publication: Affine sessions

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