Pages that link to "Item:Q5082192"
From MaRDI portal
The following pages link to Procedural Choreographic Programming (Q5082192):
Displaying 11 items.
- Developing software for dancing tango in Compás (Q1687484) (← links)
- Choreographies, logically (Q1699421) (← links)
- A core model for choreographic programming (Q2007727) (← links)
- A coordination protocol language for power grid operation control (Q2011215) (← links)
- Certifying choreography compilation (Q2119966) (← links)
- Discretionary Information Flow Control for Interaction-Oriented Specifications (Q2945719) (← links)
- (Q2974797) (← links)
- From infinity to choreographies. Extraction for unbounded systems (Q6103018) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
- A formal theory of choreographic programming (Q6161233) (← links)
- Certified compilation of choreographies with \textsf{hacc} (Q6535459) (← links)