In this paper we present various notions of the combined refinement for data and processes within the specification language Csp-Casl. We develop proof support for our refinement notions and demonstrate how to employ them for system development and for system analysis. Finally, we apply our technique to an industrial standard for an electronic payment system. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Kahsai, T., & Roggenbach, M. (2009). Property preserving refinement for Csp-casl. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5486 LNCS, pp. 206–220). https://doi.org/10.1007/978-3-642-03429-9_14
Mendeley helps you to discover research relevant for your work.