The following pages link to (Q6099602):
Displaying 5 items.
- Certifying choreography compilation (Q2119966) (← links)
- Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types (Q5043586) (← links)
- Functional choreographic programming (Q6109477) (← links)
- A formal theory of choreographic programming (Q6161233) (← links)
- A predicate transformer for choreographies. Computing preconditions in choreographic programming (Q6166802) (← links)