@book{7b366042ed274f59addd377f18b67c13,
title = "Action Contraction Using Coupled Simulation",
abstract = "The question we consider in this paper is: {"}When may a combination of (fine-grain) execution be contracted into an abstract (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 so-called coupled splitting/contracting simulation between systems which differ in the atomicity of their actions, and proving that this collapses to Parrow and Sj{\"o}din's coupled similarity when the systems are composed with an observer. We claim that this gives rise to a useful notion of refinement; we substantiate the claim on two (toy) examples.",
keywords = "METIS-118659, IR-18140",
author = "Arend Rensink",
year = "2000",
language = "English",
series = "CTIT Technical Report series",
publisher = "University of Twente",
address = "Netherlands",
}