Pages that link to "Item:Q1592937"
From MaRDI portal
The following pages link to Basic results in automatic transformations of shared memory parallel programs into sequential programs (Q1592937):
Displaying 3 items.
- Automatic construction of CSP programs from sequential non-deterministic programs (Q1060002) (← links)
- Automatic transformations of high-level object-oriented specifications into parallel programs (Q1121001) (← links)
- Checking sequential correctness in shared-memory parallel programs (Q2706056) (← links)