The following pages link to (Q5019695):
Displaying 9 items.
- Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels (Q780055) (← links)
- A core model for choreographic programming (Q2007727) (← links)
- Towards refinable choreographies (Q2141294) (← links)
- Realisability of choreographies (Q2206787) (← links)
- Deciding choreography realizability (Q2942872) (← links)
- (Q2974797) (← links)
- The Paths to Choreography Extraction (Q2988384) (← links)
- Procedural Choreographic Programming (Q5082192) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)