Pages that link to "Item:Q1369226"
From MaRDI portal
The following pages link to Fundamentals of modelling concurrency using discrete relational structures (Q1369226):
Displaying 17 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)
- On a possible continuous analogue of the Szpilrajn theorem and its strengthening by Dushnik and Miller (Q878146) (← links)
- Relational structures model of concurrency (Q934912) (← links)
- Boolean networks: beyond generalized asynchronicity (Q1656683) (← links)
- Interval semantics for Petri nets with inhibitor arcs (Q1749475) (← links)
- On the continuous analogue of the Szpilrajn theorem. I (Q1867803) (← links)
- Relational structures for concurrent behaviours (Q1998872) (← links)
- Characterising concurrent histories (Q2804174) (← links)
- Studying Operational Models of Relaxed Concurrency (Q2830038) (← 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)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5710005) (← links)
- Concurrency in Boolean networks (Q6151158) (← links)