| Citations: | 11 - 0 self |
@MISC{Wright02fromkleene,
author = {Joakim von Wright},
title = {From Kleene Algebra to Refinement Algebra},
year = {2002}
}
KAT (Kleene Algebra with Tests) have proved to be useful for reasoning about programs in a partial correctness framework. We describe DRA (demonic Refinement Algebra), a variation of KAT for total correctness and illustrate its modeling and reasoning power with a number of applications and examples.
Developed at and hosted by The College of Information Sciences and Technology
© 2007-2010 The Pennsylvania State University
