Normalform-Transformationen für CSP-Programme. (Normal form transformations for CSP-programs)
From MaRDI portal
(Redirected from Publication:1104075)
Recommendations
Cited in
(9)- Transformations for communication fairness in CSP
- Two normal form theorems for CSP programs
- Fifty years of Hoare's logic
- Design and verification of fault tolerant systems with CSP
- Unfolding CSP
- Modeling the distributed termination convention of CSP
- Automatic construction of CSP programs from sequential non-deterministic programs
- Finite-state concurrent programs can be expressed in pairwise normal form
- Finite-state concurrent programs can be expressed succinctly in triple normal form
This page was built for publication: Normalform-Transformationen für CSP-Programme. (Normal form transformations for CSP-programs)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1104075)