Pages that link to "Item:Q5410716"
From MaRDI portal
The following pages link to Resolving Non-determinism in Choreographies (Q5410716):
Displaying 8 items.
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- Realisability of pomsets (Q2011200) (← links)
- Realisability of choreographies (Q2206787) (← links)
- An abstract framework for choreographic testing (Q2239278) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- Discretionary Information Flow Control for Interaction-Oriented Specifications (Q2945719) (← links)
- (Q5019695) (← links)
- (Q5129942) (← links)