The following pages link to (Q2974797):
Displaying 10 items.
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- A core model for choreographic programming (Q2007727) (← links)
- Static and dynamic property-preserving updates (Q2042718) (← links)
- Certifying choreography compilation (Q2119966) (← links)
- From global choreographies to verifiable efficient distributed implementations (Q2192464) (← links)
- The Paths to Choreography Extraction (Q2988384) (← links)
- Global Protocol Implementations via Attribute-Based Communication (Q3460871) (← links)
- (Q5129942) (← links)
- Most General Property-Preserving Updates (Q5739011) (← links)
- A formal theory of choreographic programming (Q6161233) (← links)
