Pages that link to "Item:Q2007727"
From MaRDI portal
The following pages link to A core model for choreographic programming (Q2007727):
Displaying 8 items.
- Certifying choreography compilation (Q2119966) (← links)
- Global types with internal delegation (Q2286741) (← links)
- (Q5019690) (← links)
- Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala (Q5883752) (← links)
- Branching Pomsets for Choreographies (Q6122640) (← links)
- Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)
- A formal theory of choreographic programming (Q6161233) (← links)
- Certified compilation of choreographies with \textsf{hacc} (Q6535459) (← links)
