Pages that link to "Item:Q2988384"
From MaRDI portal
The following pages link to The Paths to Choreography Extraction (Q2988384):
Displayed 5 items.
- Choreographies, logically (Q1699421) (← links)
- A core model for choreographic programming (Q2007727) (← links)
- From infinity to choreographies. Extraction for unbounded systems (Q6103018) (← links)
- A formal theory of choreographic programming (Q6161233) (← links)
- A predicate transformer for choreographies. Computing preconditions in choreographic programming (Q6166802) (← links)