Pages that link to "Item:Q2423747"
From MaRDI portal
The following pages link to Precise subtyping for synchronous multiparty sessions (Q2423747):
Displaying 12 items.
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday (Q2026790) (← links)
- Preface to the special issue on open problems in concurrency theory (Q2096427) (← links)
- Communicating finite state machines and an extensible toolchain for multiparty session types (Q2140476) (← links)
- Subtyping Supports Safe Session Substitution (Q3188281) (← links)
- (Q5089276) (← links)
- (Q5856424) (← links)
- Deconfined Global Types for Asynchronous Sessions (Q5883749) (← links)
- Precise Subtyping for Asynchronous Multiparty Sessions (Q5886521) (← links)
- Interval probability for sessions types (Q6102998) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
- Fair termination of multiparty sessions (Q6561335) (← links)