Pages that link to "Item:Q2265803"
From MaRDI portal
The following pages link to Transforming sequential systems into concurrent systems (Q2265803):
Displaying 7 items.
- Concurrent and maximally concurrent evolution of nonsequential systems (Q1083185) (← links)
- A transformation system for concurrent processes (Q1284702) (← links)
- The synthesis problem of Petri nets (Q1901703) (← links)
- Sequentialising nested systems (Q2180514) (← links)
- Transformations of sequential specifications into concurrent specifications by synchronization guards (Q2638794) (← links)
- (Q4038659) (← links)
- (Q4417795) (← links)