Multiparty session nets
From MaRDI portal
Recommendations
Cited in
(14)- Deadlock-freedom-by-design, multiparty asynchronous global programming
- Multiparty Asynchronous Session Types
- Featherweight Scribble
- On the expressiveness of multiparty sessions
- On global types and multi-party sessions
- Open Multiparty Interaction
- Multiparty session actors
- Taming concurrency for verification using multiparty session types
- A gentle introduction to multiparty asynchronous session types
- Globally governed session semantics
- Composition and decomposition of multiparty sessions
- From communicating machines to graphical choreographies
- Efficient sessions
- Nonlinear processes in safety systems for substances with parameters close to a critical state
This page was built for publication: Multiparty session nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2811929)