Mixed sessions

DOI10.1007/978-3-030-44914-8_26MaRDI QIDQ5041119zbMATH OpenOpenAlexFDO

Authors Filipe Casal, Bernardo F. Almeida, Andreia Mordido, Vasco T. Vasconcelos

Publication date 13 October 2022

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-44914-8_26

zbMATH Keywords

mixed choicesession typestype systems

Mathematics Subject Classification ID

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

• Mixed sessions
• CONCUR 2004 - Concurrency Theory
• Session types at the mirror
• Session Types with Gradual Typing
• Fundamentals of session types

Cites work

• A calculus of communicating systems
• A calculus of mobile processes. I
• A calculus of mobile processes. II
• An interpretation of typed objects into typed -calculus
• Breaking symmetries
• CONCUR 2010 -- concurrency theory. 21st international conference, CONCUR 2010, Paris, France, August 31 -- September 3, 2010. Proceedings
• Context-free session types
• Deciding the bisimilarity of context-free session types
• Full abstraction in a subtyped pi-calculus with linear types
• Functions as processes
• Fundamentals of session types
• scientific article; zbMATH DE number 3961577 (Why is no real title available?)
• scientific article; zbMATH DE number 177812 (Why is no real title available?)
• scientific article; zbMATH DE number 1531624 (Why is no real title available?)
• scientific article; zbMATH DE number 1398002 (Why is no real title available?)
• scientific article; zbMATH DE number 2238212 (Why is no real title available?)
• Linear logic propositions as session types
• Linear type theory for asynchronous session types
• Multiparty Asynchronous Session Types
• Multiparty asynchronous session types
• On duality relations for session types
• Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP '16, Nara, Japan, September 18--22, 2016
• Propositions as sessions
• Propositions as sessions
• Subtyping for session types in the pi calculus
• Synchrony versus causality in distributed systems
• Synchrony vs causality in the asynchronous -calculus
• Talking bananas: structural recursion for session types
• The -calculus: A theory of mobile processes
• Towards a unified approach to encodability and separation results for process calculi
• Typestate: A programming language concept for enhancing software reliability
• Typing copyless message passing
• Typing copyless message passing
• Using higher-order contracts to model session types

Cited in

(8)

• Mixed sessions
• Effects as sessions, sessions as effects
• Structured Interactional Exceptions in Session Types
• Affine sessions
• Tontines with mixed cohorts
• Offline/Online Mixing
• On the expressiveness of mixed choice sessions
• Timeout asynchronous session types: safe asynchronous mixed-choice for timed interactions

Describes a project that uses

Uses Software

• Pict

This page was built for publication: Mixed sessions

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