Mixed choice in session types
From MaRDI portal
Publication:6543263
DOI10.1016/j.ic.2024.105164MaRDI QIDQ6543263
Kirstin Peters, Nobuko Yoshida
Publication date: 24 May 2024
Published in: Information and Computation (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A taxonomy of process calculi for distribution and mobility
- Theory of interaction
- On the expressiveness of interaction
- Comparing communication primitives via their relative expressive power
- A calculus of mobile processes. II
- Mobile ambients
- A theory of encodings and expressiveness (extended abstract)
- What is a ``good encoding of guarded choice?
- Towards a unified approach to encodability and separation results for process calculi
- Mixed sessions
- Coupled similarity: the first 32 years
- Distributability of mobile ambients
- Expressiveness of Process Algebras
- Is It a “Good” Encoding of Mixed Choice?
- Breaking symmetries
- Synchrony versus causality in distributed systems
- Multiparty Asynchronous Session Types
- On Synchronous and Asynchronous Interaction in Distributed Systems
- Explicit fairness in testing semantics
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
- Barbed bisimulation
- On Distributability in Process Calculi
- General conditions for full abstraction
- Comparing the expressiveness of the \(\pi \)-calculus and CCS
- Generalising Projection in Asynchronous Multiparty Session Types.
- Comparing the expressive power of the synchronous and asynchronous \(\pi\)-calculi
This page was built for publication: Mixed choice in session types
