The following pages link to (Q3867194):
Displaying 16 items.
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- On the concatenation of infinite traces (Q685439) (← links)
- On priority in COSY (Q914367) (← links)
- The Merlin-Randell problem of train journeys (Q1062925) (← links)
- A formal semantics for concurrent systems with a priority relation (Q1074338) (← links)
- Concurrent and maximally concurrent evolution of nonsequential systems (Q1083185) (← links)
- Sequential and concurrent behaviour in Petri net theory (Q1119024) (← links)
- Adequacy properties of path programs (Q1161276) (← links)
- Adequacy-preserving transformations of COSY path programs (Q1185020) (← links)
- Restrictions and representations of vector controlled concurrent system behaviours (Q1391736) (← links)
- Transforming sequential systems into concurrent systems (Q2265803) (← links)
- Classifying invariant structures of step traces (Q2424691) (← links)
- Transformations of sequential specifications into concurrent specifications by synchronization guards (Q2638794) (← links)
- Modelling Concurrency with Quotient Monoids (Q3510871) (← links)
- Step traces (Q5963403) (← links)
- Interval traces with mutex relation (Q6535190) (← links)
