The following pages link to Structure of concurrency (Q685384):
Displaying 29 items.
- Modeling concurrency with interval traces (Q515576) (← links)
- Process semantics of general inhibitor nets (Q598184) (← links)
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- Structure of concurrency (Q685384) (← links)
- Relational structures model of concurrency (Q934912) (← links)
- Operational and denotational semantics for the box algebra (Q1274445) (← links)
- Interval semantics for Petri nets with inhibitor arcs (Q1749475) (← links)
- A weak order approach to group ranking (Q1816679) (← links)
- Contextual Petri nets, asymmetric event structures, and processes (Q1854468) (← links)
- Contextual nets (Q1902298) (← links)
- Relational structures for concurrent behaviours (Q1998872) (← links)
- Classifying invariant structures of step traces (Q2424691) (← 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)
- Modelling Concurrency with Quotient Monoids (Q3510871) (← links)
- Dynamic Partial Order Reduction Using Probe Sets (Q3541021) (← links)
- Solving recursive net equations (Q4645215) (← links)
- Synchronized composition of graph grammar productions (Q4645281) (← links)
- On-line computations of the ideal lattice of posets (Q4850326) (← links)
- Algebraic Structure of Step Traces and Interval Traces (Q4988962) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- Generating Posets Beyond N (Q5098715) (← links)
- Step traces (Q5963403) (← links)
- Concurrency in Boolean networks (Q6151158) (← links)
- Interval traces with mutex relation (Q6535190) (← links)
- A Myhill-Nerode theorem for higher-dimensional automata (Q6535191) (← links)
- Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets (Q6535197) (← links)
- Myhill-Nerode theorem for higher-dimensional automata (Q6622140) (← links)
