The following pages link to Compositional Choreographies (Q2842124):
Displayed 12 items.
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- Choreographies, logically (Q1699421) (← links)
- A core model for choreographic programming (Q2007727) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- Session types revisited (Q2407105) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- (Q2974797) (← links)
- The Paths to Choreography Extraction (Q2988384) (← links)
- The Evolution of Jolie (Q5256366) (← links)
- Global progress for dynamically interleaved multiparty sessions (Q5741563) (← links)
- Applied Choreographies (Q5881532) (← links)
- A predicate transformer for choreographies. Computing preconditions in choreographic programming (Q6166802) (← links)