The following pages link to Realisability of choreographies (Q2206787):
Displaying 7 items.
- Realizable temporal logics for web service choreography (Q739636) (← links)
- Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels (Q780055) (← links)
- Realizability and dynamic reconfiguration of chor specifications (Q2888201) (← links)
- Deciding choreography realizability (Q2942872) (← links)
- (Q5019695) (← links)
- Event-B-Supported Choreography-Defined Communicating Systems (Q5040369) (← links)
- Synchronizability of communicating finite state machines is not decidable (Q5111454) (← links)