Pages that link to "Item:Q1996856"
From MaRDI portal
The following pages link to Composition and decomposition of multiparty sessions (Q1996856):
Displaying 8 items.
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- A type language for distributed reactive components governed by communication protocols (Q2693296) (← links)
- Composition of synchronous communicating systems (Q6052940) (← links)
- On Composing Communicating Systems (Q6122641) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
- Partially Typed Multiparty Sessions (Q6197376) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
- Partially typed multiparty sessions with internal delegation (Q6643472) (← links)
