The following pages link to (Q3018961):
Displaying 7 items.
- Modeling concurrency with interval traces (Q515576) (← links)
- Interval semantics for Petri nets with inhibitor arcs (Q1749475) (← links)
- Folded Hasse diagrams of combined traces (Q2445908) (← links)
- The Monoid of Queue Actions (Q2922028) (← links)
- The Mutex Paradigm of Concurrency (Q3011890) (← links)
- Modelling Concurrency with Quotient Monoids (Q3510871) (← links)
- Quotienting the delay monad by weak bisimilarity (Q4559601) (← links)