Pages that link to "Item:Q2007727"
From MaRDI portal
The following pages link to A core model for choreographic programming (Q2007727):
Displaying 18 items.
- Developing software for dancing tango in Compás (Q1687484) (← links)
- Choreographies, logically (Q1699421) (← links)
- Certifying choreography compilation (Q2119966) (← links)
- Global types with internal delegation (Q2286741) (← links)
- Enforcing Availability in Failure-Aware Communicating Systems (Q2827467) (← links)
- (Q2974797) (← links)
- The Paths to Choreography Extraction (Q2988384) (← links)
- (Q5019690) (← links)
- (Q5019695) (← links)
- Procedural Choreographic Programming (Q5082192) (← links)
- Applied Choreographies (Q5881532) (← links)
- Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala (Q5883752) (← links)
- Multiparty classical choreographies (Q6085975) (← links)
- From infinity to choreographies. Extraction for unbounded systems (Q6103018) (← 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)