Pages that link to "Item:Q1060002"
From MaRDI portal
The following pages link to Automatic construction of CSP programs from sequential non-deterministic programs (Q1060002):
Displaying 5 items.
- Transformations for communication fairness in CSP (Q1089786) (← links)
- Normalform-Transformationen für CSP-Programme. (Normal form transformations for CSP-programs) (Q1104075) (← links)
- Basic results in automatic transformations of shared memory parallel programs into sequential programs (Q1592937) (← links)
- Formal sequentialization of distributed systems via program rewriting (Q2867960) (← links)
- Automated Generation of BSP Automata (Q4598934) (← links)