Temesghen Kahsai, Markus Roggenbach. Property Preserving Refinement for Csp-Casl. In Andrea Corradini, Ugo Montanari, editors, Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers. Volume 5486 of Lecture Notes in Computer Science, pages 206-220, Springer, 2008. [doi]
Abstract is missing.