Pages that link to "Item:Q934912"
From MaRDI portal
The following pages link to Relational structures model of concurrency (Q934912):
Displaying 13 items.
- ST-structures (Q338620) (← links)
- Modeling concurrency with interval traces (Q515576) (← links)
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- Structure of concurrency (Q685384) (← links)
- Fundamentals of modelling concurrency using discrete relational structures (Q1369226) (← links)
- Interval semantics for Petri nets with inhibitor arcs (Q1749475) (← links)
- Relational structures for concurrent behaviours (Q1998872) (← links)
- Folded Hasse diagrams of combined traces (Q2445908) (← links)
- A relational model of movement (Q2735831) (← 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)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5710005) (← links)