Algebraic Methods for Model Refinement

erschienen 2009 in R. Berghammer, A. M. Jaoua, B. Möller (eds.): Relations and Kleene algebra in computer science. PhD Programme (RelMiCS 11/AKA 6)
Technical Report, Computer Science and Engineering Department, University of Qatar, 2009, pp.1-5.

Abstract:
The present work was stimulated by work by M. Sintzoff on model refinement via bisimulations. Our idea will be to algebraise the ideas present there. Therefore a quantal theory for model checking and model refinement will be introduced and some possibilities for its application will be sketched. Furthermore a short outlook on future work and open questions is given.