Pages that link to "Item:Q1167527"
From MaRDI portal
The following pages link to A methodology for programming with concurrency: An informal presentation (Q1167527):
Displayed 8 items.
- An incremental mechanical development of systolic solutions to the algebraic path problem (Q582035) (← links)
- Structure of concurrency (Q685384) (← links)
- On optimal parallelization of sorting networks (Q917287) (← links)
- The automated proof of a trace transformation for a bitonic sort (Q1822503) (← links)
- The synthesis problem of Petri nets (Q1901703) (← links)
- Transforming sequential systems into concurrent systems (Q2265803) (← links)
- Transformations of sequential specifications into concurrent specifications by synchronization guards (Q2638794) (← links)
- The Mutex Paradigm of Concurrency (Q3011890) (← links)