The following pages link to (Q3680255):
Displaying 4 items.
- On priority in COSY (Q914367) (← links)
- A formal semantics for concurrent systems with a priority relation (Q1074338) (← links)
- Concurrent and maximally concurrent evolution of nonsequential systems (Q1083185) (← links)
- Transformations of sequential specifications into concurrent specifications by synchronization guards (Q2638794) (← links)
