Pages that link to "Item:Q1219678"
From MaRDI portal
The following pages link to Formal semantics of a class of high-level primitives of coordinating concurrent processes (Q1219678):
Displaying 9 items.
- On priority in COSY (Q914367) (← links)
- A formal semantics for concurrent systems with a priority relation (Q1074338) (← links)
- Petri nets, algebras, morphisms, and compositionality (Q1091145) (← links)
- Adequacy properties of path programs (Q1161276) (← links)
- Restrictions and representations of vector controlled concurrent system behaviours (Q1391736) (← links)
- Transforming sequential systems into concurrent systems (Q2265803) (← links)
- Concurrent bisimulations in Petri nets (Q2639636) (← links)
- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR (Q3512442) (← links)
- (Q4176984) (← links)
