The question we consider in this paper is: "When can a combination of fine-grain execution steps be contracted into an atomic action execution"? Our answer is basically: "When no observer can see the difference." This is worked out in detail by defining a notion of coupled split/atomic simulation refinement between systems which differ in the atomicity of their actions, and proving that this collapses to Parrow and Sjödin's coupled similarity when the systems are composed with an observer. © Springer-Verlag Berlin Heidelberg 2000.
CITATION STYLE
Rensink, A. (2000). Action contraction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1877 LNCS, pp. 290–305). Springer Verlag. https://doi.org/10.1007/3-540-44618-4_22
Mendeley helps you to discover research relevant for your work.