The following pages link to (Q3152830):
Displaying 5 items.
- Guaranteed global performance through local coordinations (Q540161) (← links)
- Controlling loosely cooperating processes (Q896910) (← links)
- Specifying communication in distributed information systems (Q1977077) (← links)
- Contracts for cross-organizational workflows as timed dynamic condition response graphs (Q2436452) (← links)
- Semantics of Deterministic Shared-Memory Systems (Q3541010) (← links)