Pages that link to "Item:Q1104075"
From MaRDI portal
The following pages link to Normalform-Transformationen für CSP-Programme. (Normal form transformations for CSP-programs) (Q1104075):
Displaying 7 items.
- Finite-state concurrent programs can be expressed succinctly in triple normal form (Q522959) (← links)
- Automatic construction of CSP programs from sequential non-deterministic programs (Q1060002) (← links)
- Transformations for communication fairness in CSP (Q1089786) (← links)
- Two normal form theorems for CSP programs (Q1094869) (← links)
- Design and verification of fault tolerant systems with CSP (Q1176076) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Finite-state concurrent programs can be expressed in pairwise normal form (Q5964014) (← links)