Pages that link to "Item:Q1167528"
From MaRDI portal
The following pages link to A methodology for programming with concurrency: The formalism (Q1167528):
Displayed 6 items.
- Towards systolizing compilation (Q757032) (← links)
- On optimal parallelization of sorting networks (Q917287) (← links)
- Real-time programming (Q1115579) (← links)
- The automated proof of a trace transformation for a bitonic sort (Q1822503) (← links)
- Transforming sequential systems into concurrent systems (Q2265803) (← links)
- Transformations of sequential specifications into concurrent specifications by synchronization guards (Q2638794) (← links)