The following pages link to A language of specified programs (Q2265800):
Displayed 6 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Probabilistic rely-guarantee calculus (Q507375) (← links)
- Proof obligations for blocks and procedures (Q919838) (← links)
- Inductive assertion method for logic pograms (Q1105352) (← links)
- Exploring an Interface Model for CKA (Q2941164) (← links)
- Convolution as a Unifying Concept (Q5277916) (← links)