Refinement algebra with operators for enabledness and termination

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4014 LNCS, Issue , 2006, Pages 397-415

  Solin, Kim ^a,b   Von Wright, Joakim ^a  

^a TURKU CENTRE FOR COMPUTER SCIENCE   (Finland)

^b UNIVERSITY OF AUGSBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; FORMAL LOGIC; LOGIC PROGRAMMING; MATHEMATICAL OPERATORS;

ACTION SYSTEMS; TOTAL-CORRECTNESS FRAMEWORK; WRIGHT'S DEMONIC REFINEMENT ALGEBRA;

ALGEBRA;

EID: 33746223984     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11783596_23     Document Type: Conference Paper

References (23)

1. Back, R.-J.: Correctness Preserving Program Refinements: Proof Theory and Applications. Vol. 131 of Mathematical Centre Tracts. Mathematical Centre, Amsterdam (1980)
2. Back, R.-J., Kurki-Suonio, R.: Decentralisation of process nets with centralised control. In Proc. of 2nd Ann. ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, PODC '83. ACM Press (1983) 131-142
3. Back, R.-J.: Refining atomicity in parallel algorithms. In Odijk, E., Rem, M., Syre, J.-C., eds.: Proc. of Conf. on Parallel Architectures and Languages Europe, PARLE '89, Vol. 2. Vol. 366 of Lect. Notes in Comput. Sci. Springer-Verlag (1989) 199-216
4. Back, R.-J., Sere, K.: Stepwise refinement of action systems. Structured Programming 12(1) (1991) 17-30
5. Back, R.-J., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer-Verlag (1998)
6. Back, R.-J., von Wright, J.: Reasoning algebraically about loops. Acta Inform. 38(4) (1999) 295-334
7. Chen, W., Udding, J. T.: Program inversion: more than fun! Sci. of Comput. Program. 15(1) (1990) 1-13
8. Cohen, E.: Hypotheses in Kleene algebra. Unpublished manuscript. Telcordia (1994)
9. Cohen, E.: Separation and reduction. In Backhouse, R. C., Oliveira, J. N., eds.: Proc. of 5th Int. Conf. on Mathematics of Program Construction, MPC 2000. Vol. 1837 of Lect. Notes in Comput. Sci. Springer-Verlag (2000) 45-59
10. J. Desharnais, B. Möller, G. Struth: Kleene Algebra with Domain. ACM Trans. Computational Logic (to appear 2006). Preliminary version: Universität Augsburg, Institut für Informatik, Report No. 2003-07, June 2003
11. Dijkstra, E. W.: A Discipline of Programming. Prentice Hall (1976)
12. Floyd, R. W.: Assigning meanings to programs. In Schwartz, J. T., ed.: Mathematical Aspects of Computer Science. Vol. XIX of Proc. of Symp. on Applied Math. Amer. Math. Soc. (1967) 19-32
13. Gries, D.: The Science of Programming. Springer-Verlag (1981)
14. Höfner, P., Möller, B., Solin, K.: Omega algebra, demonic refinement algebra and commands. Technical Report 2006-11. Inst. für Informatik, Universität Augsburg (2006)
15. Kozen, D.: A completeness theorem for Kleene algebras and the algebra of regular events. Inform, and Comput. 110(2) (1994) 366-390
16. Kozen, D.: Kleene algebra with tests. ACM Trans. on Program. Lang, and Syst. 19(3) (1997) 427-443
17. Möller, B.: Lazy Kleene algebra. In Kozen, D., Shanklands, C., eds..: Proc. of 7th Int. Conf. on Mathematics of Program Construction, MPC 2004. Vol. 3125 of Lect. Notes in Comput. Sci. Springer-Verlag (2004) 252-273
18. Möller, B., Struth, G.: Greedy-like algorithms in Kleene algebra. In Berghammer, R., Möller, B., Struth, G., eds.: Revised Selected Papers from 7th Int. Seminar on Relational Methods in Comput. Sci./2nd Int. Wksh. on Appl. of Kleene Algebra, RelMiCS 2003. Vol. 3051 of Lect. Notes in Comput. Sci. Springer-Verlag (2004) 202-215
19. Morgan, C. C.: Programming from Specifications. 2nd edn. Prentice-Hall (1994)
20. Nelson, G.: A generalization of Dijkstra's calculus. ACM Trans. on Program. Lang. and Syst. 11(4) (1989) 517-561
21. Sampaio, A. C. A.: An Algebraic Approach To Compiler Design. World Scientific (1997)
22. von Wright, J.: From Kleene algebra to refinement algebra. In Boiten, E. A., Möller, B., eds.: Proc. of 6th Int. Conf. on Mathematics of Program Construction, MPC 2002. Vol. 2386 of Lect. Notes in Comput. Sci. Springer-Verlag (2002) 233-262
23. von Wright, J.: Towards a refinement algebra. Sci. of Comput. Program. 51(1-2) (2004) 23-45