Towards a refinement algebra Export

@article{citeulike:5789062, abstract = {Kleene algebra with tests (KAT) has proved to be useful for reasoning about programs in a partial correctness framework. We describe demonic refinement algebra (DRA), a variation of KAT for total correctness and illustrate its modelling and reasoning power with a number of applications and examples.}, address = {Amsterdam, The Netherlands, The Netherlands}, author = {Vonwright, J.}, citeulike-article-id = {5789062}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1007975}, citeulike-linkout-1 = {http://dx.doi.org/10.1016/j.scico.2003.09.002}, citeulike-linkout-2 = {http://linkinghub.elsevier.com/retrieve/pii/S0167642304000127}, doi = {10.1016/j.scico.2003.09.002}, issn = {01676423}, journal = {Science of Computer Programming}, keywords = {2004, algebra, kleene, refinement}, month = {May}, number = {1-2}, pages = {23--45}, posted-at = {2009-09-15 19:36:20}, priority = {2}, publisher = {Elsevier North-Holland, Inc.}, title = {Towards a refinement algebra}, url = {http://dx.doi.org/10.1016/j.scico.2003.09.002}, volume = {51}, year = {2004} }

TY - JOUR ID - citeulike:5789062 L3 - citeulike-article-id:5789062 N2 - Kleene algebra with tests (KAT) has proved to be useful for reasoning about programs in a partial correctness framework. We describe demonic refinement algebra (DRA), a variation of KAT for total correctness and illustrate its modelling and reasoning power with a number of applications and examples. IS - 1-2 JF - Science of Computer Programming SN - 01676423 AD - Amsterdam, The Netherlands, The Netherlands EP - 45 TI - Towards a refinement algebra PB - Elsevier North-Holland, Inc. VL - 51 SP - 23 KW - 2004 KW - algebra KW - kleene KW - refinement AU - Vonwright, J PY - 2004/05// UR - http://dx.doi.org/10.1016/j.scico.2003.09.002 ER -