Mixed choice in session types
From MaRDI portal
Publication:6543263
Cites work
- scientific article; zbMATH DE number 7449992 (Why is no real title available?)
- A calculus of mobile processes. II
- A taxonomy of process calculi for distribution and mobility
- A theory of encodings and expressiveness (extended abstract)
- Analysing and comparing encodability criteria
- Barbed bisimulation
- Breaking symmetries
- Comparing communication primitives via their relative expressive power
- Comparing the expressive power of the synchronous and asynchronous \(\pi\)-calculi
- Comparing the expressiveness of the \(\pi \)-calculus and CCS
- Coupled similarity: the first 32 years
- Distributability of mobile ambients
- Explicit fairness in testing semantics
- Exploring type-level bisimilarity towards more expressive multiparty session types
- Expressiveness of process algebras
- General conditions for full abstraction
- Generalising Projection in Asynchronous Multiparty Session Types.
- Is it a ``good encoding of mixed choice?
- Mixed sessions
- Mobile ambients
- Multiparty Asynchronous Session Types
- Musings on encodings and expressiveness
- On Synchronous and Asynchronous Interaction in Distributed Systems
- On distributability in process calculi
- On the expressiveness of interaction
- On the expressiveness of mixed choice sessions
- Synchrony versus causality in distributed systems
- Theory of interaction
- Towards a unified approach to encodability and separation results for process calculi
- What is a ``good encoding of guarded choice?
This page was built for publication: Mixed choice in session types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6543263)
