Pages that link to "Item:Q934912"
From MaRDI portal
The following pages link to Relational structures model of concurrency (Q934912):
Displaying 7 items.
- Modeling concurrency with interval traces (Q515576) (← links)
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- Interval semantics for Petri nets with inhibitor arcs (Q1749475) (← links)
- Folded Hasse diagrams of combined traces (Q2445908) (← links)
- On Interval Process Semantics of Petri Nets with Inhibitor Arcs (Q2941144) (← links)
- Non-atomic Transition Firing in Contextual Nets (Q2941146) (← links)
- The Mutex Paradigm of Concurrency (Q3011890) (← links)
