Normal forms in total correctness for while programs and action systems
From MaRDI portal
(Redirected from Publication:549683)
Recommendations
Cites work
- scientific article; zbMATH DE number 1612485 (Why is no real title available?)
- scientific article; zbMATH DE number 3558939 (Why is no real title available?)
- scientific article; zbMATH DE number 2090029 (Why is no real title available?)
- A completeness theorem for Kleene algebras and the algebra of regular events
- A while program normal form theorem in total correctness
- Automated Reasoning in Kleene Algebra
- Distributed cooperation with action systems
- Enabledness and termination in refinement algebra
- Flow diagrams, turing machines and languages with only two formation rules
- Kleene algebra with domain
- On folk theorems
- Programming as a Discipline of Mathematical Nature
- Refinement Calculus
- Refinement algebra for probabilistic programs
- Towards a refinement algebra
- Using Probabilistic Kleene Algebra for Protocol Verification
Cited in
(3)
This page was built for publication: Normal forms in total correctness for while programs and action systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549683)
