The following pages link to Realisability of pomsets (Q2011200):
Displayed 7 items.
- Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels (Q780055) (← links)
- An abstract framework for choreographic testing (Q2239278) (← links)
- (Q5019694) (← links)
- (Q5028420) (← links)
- (Q5028448) (← links)
- Branching Pomsets for Choreographies (Q6122640) (← links)
- Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)