Pages that link to "Item:Q1094869"
From MaRDI portal
The following pages link to Two normal form theorems for CSP programs (Q1094869):
Displaying 10 items.
- Finite-state concurrent programs can be expressed succinctly in triple normal form (Q522959) (← links)
- Two normal form theorems for CSP programs (Q1094869) (← links)
- Normalform-Transformationen für CSP-Programme. (Normal form transformations for CSP-programs) (Q1104075) (← links)
- Fairness and the axioms of control predicates (Q1104729) (← links)
- Appraising fairness in languages for distributed programming (Q1112589) (← links)
- Design and verification of fault tolerant systems with CSP (Q1176076) (← links)
- Fairness and hyperfairness in multi-party interactions (Q1261113) (← links)
- Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP (Q1822234) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Finite-state concurrent programs can be expressed in pairwise normal form (Q5964014) (← links)