Pages that link to "Item:Q2683035"
From MaRDI portal
The following pages link to Event structure semantics for multiparty sessions (Q2683035):
Displaying 4 items.
- Partial and complete processes in multiparty sessions (Q737096) (← links)
- Deconfined Global Types for Asynchronous Sessions (Q5883749) (← links)
- Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)