Mixed sessions

DOI10.1016/j.tcs.2021.08.005zbMath1498.68181OpenAlexW4212975454MaRDI QIDQ2055956

Andreia Mordido, Filipe Casal, Vasco Thudichum Vasconcelos

Publication date: 1 December 2021

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2021.08.005

zbMATH Keywords

session typescommunication channelsinternal and external choicemixed choice

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

Uses Software

• Pict

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fundamentals of session types
• Formal methods for web services. 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009, Bertinoro, Italy, June 1--6, 2009. Advanced lectures
• A calculus of communicating systems
• A calculus of mobile processes. I
• A calculus of mobile processes. II
• An interpretation of typed objects into typed \(\pi\)-calculus
• PARLE 94, Parallel architectures and languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994. Proceedings
• Towards a unified approach to encodability and separation results for process calculi
• On the relative expressiveness of higher-order session processes
• Subtyping for session types in the pi calculus
• On Duality Relations for Session Types
• Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
• Propositions as sessions
• Breaking symmetries
• Synchrony versus causality in distributed systems
• Talking bananas: structural recursion for session types
• Context-free session types
• Full Abstraction in a Subtyped pi-Calculus with Linear Types
• Multiparty Asynchronous Session Types
• Multiparty asynchronous session types
• Session Types as Intuitionistic Linear Propositions
• Typestate: A programming language concept for enhancing software reliability
• Functions as processes
• Mixed Sessions
• Deciding the Bisimilarity of Context-Free Session Types
• Propositions as sessions
• Linear type theory for asynchronous session types
• Barbed bisimulation
• Using higher-order contracts to model session types
• Linear logic propositions as session types
• Typing Copyless Message Passing
• Typing Copyless Message Passing

This page was built for publication: Mixed sessions