Refinement Algebra with Operators for Enabledness and Termination
Authors:
- 1 January 2006
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 397-415
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Omega Algebra, Demonic Refinement Algebra and CommandsLecture Notes in Computer Science, 2006
- Separation and Reduction2000
- Reasoning algebraically about loopsActa Informatica, 1999
- Refinement Calculus1998
- A Completeness Theorem for Kleene Algebras and the Algebra of Regular EventsInformation and Computation, 1994
- Program inversion: More than fun!Science of Computer Programming, 1990
- A method for refining atomicity in parallel algorithms1989
- Decentralization of process nets with centralized control1983
- The Science of Programming1981
- Assigning meanings to programs1967