The following pages link to (Q5129942):
Displaying 5 items.
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- Realisability of choreographies (Q2206787) (← links)
- An abstract framework for choreographic testing (Q2239278) (← links)
- Fair termination of multiparty sessions (Q6561335) (← links)
- A dynamic temporal logic for quality of service in choreographic models (Q6605346) (← links)