The following pages link to (Q3677155):
Displayed 5 items.
- Petri nets are monoids (Q922720) (← links)
- Concurrent histories: a basis for observing distributed systems (Q1089787) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- Enriched categorical semantics for distributed calculi (Q1208210) (← links)
- An extension of the notions of traces and of asynchronous automata (Q3988805) (← links)