The following pages link to Applied Choreographies (Q5881532):
Displaying 9 items.
- Choreographies, logically (Q1699421) (← links)
- A core model for choreographic programming (Q2007727) (← links)
- Certifying choreography compilation (Q2119966) (← links)
- From global choreographies to verifiable efficient distributed implementations (Q2192464) (← links)
- An abstract framework for choreographic testing (Q2239278) (← links)
- Enforcing Availability in Failure-Aware Communicating Systems (Q2827467) (← links)
- (Q4844498) (← links)
- Multiparty classical choreographies (Q6085975) (← links)
- From infinity to choreographies. Extraction for unbounded systems (Q6103018) (← links)