Mixed Sessions
From MaRDI portal
Publication:5041119
DOI10.1007/978-3-030-44914-8_26OpenAlexW4252856660MaRDI QIDQ5041119
Bernardo F. Almeida, Andreia Mordido, Filipe Casal, Vasco Thudichum Vasconcelos
Publication date: 13 October 2022
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-44914-8_26
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)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fundamentals of session types
- CONCUR 2010 -- concurrency theory. 21st international conference, CONCUR 2010, Paris, France, August 31 -- September 3, 2010. Proceedings
- 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
- Towards a unified approach to encodability and separation results for process calculi
- 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
- Typestate: A programming language concept for enhancing software reliability
- Functions as processes
- Deciding the Bisimilarity of Context-Free Session Types
- Propositions as sessions
- Linear type theory for asynchronous session types
- 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
