The following pages link to (Q5216330):
Displaying 9 items.
- Realisability of pomsets (Q2011200) (← links)
- Towards refinable choreographies (Q2141294) (← links)
- An abstract framework for choreographic testing (Q2239278) (← links)
- Synthesising Choreographies from Local Session Types (Q2914373) (← links)
- (Q5019694) (← links)
- (Q5019695) (← links)
- (Q5028420) (← links)
- (Q5028448) (← links)
- (Q5129942) (← links)