The following pages link to (Q4733390):
Displaying 10 items.
- On the nature of events: another perspective in concurrency (Q674197) (← links)
- Modeling concurrency with partial orders (Q1091134) (← links)
- Partial ordering models for concurrency can be defined operationally (Q1111013) (← links)
- Concurrent transition systems (Q1119395) (← links)
- Defining conditional independence using collapses (Q1194331) (← links)
- A formal model of concurrent systems based on bipartite directed acyclic graph (Q2492233) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- (Q4721639) (← links)
- Temporal structures (Q5096250) (← links)
- On relating concurrency and nondeterminism (Q6116582) (← links)