Sciweavers

CONCUR
2000
Springer

Action Contraction

13 years 8 months ago
Action Contraction
Abstract. 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¨odin’s coupled similarity when the systems are composed with an observer.
Arend Rensink
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where CONCUR
Authors Arend Rensink
Comments (0)