Observational equivalence for multiparty sessions
From MaRDI portal
Publication:5212042
Recommendations
Cited in
(10)- Partially typed multiparty sessions with internal delegation
- Event structure semantics for multiparty sessions
- Global types and event structure semantics for asynchronous multiparty sessions
- Partially Typed Multiparty Sessions
- Composition and decomposition of multiparty sessions
- Fair asynchronous session subtyping
- Fair termination of multiparty sessions
- scientific article; zbMATH DE number 7559468 (Why is no real title available?)
- Deconfined Global Types for Asynchronous Sessions
- A Theory of Formal Choreographic Languages
This page was built for publication: Observational equivalence for multiparty sessions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5212042)