Pages that link to "Item:Q6161233"
From MaRDI portal
The following pages link to A formal theory of choreographic programming (Q6161233):
Displaying 7 items.
- A core model for choreographic programming (Q2007727) (← links)
- Realisability of choreographies (Q2206787) (← links)
- (Q2974797) (← links)
- The Paths to Choreography Extraction (Q2988384) (← links)
- (Q5019695) (← links)
- Procedural Choreographic Programming (Q5082192) (← links)
- Certified compilation of choreographies with \textsf{hacc} (Q6535459) (← links)