Action Contraction Using Coupled Simulation

    Research output: Book/ReportReportAcademic

    11 Downloads (Pure)


    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ö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.
    Original languageEnglish
    PublisherUniversity of Twente
    Number of pages44
    Publication statusPublished - 2000

    Publication series

    NameCTIT Technical Report series
    PublisherCentre for Telematics and Information Technology (CTIT)
    ISSN (Print)1381-3625


    • METIS-118659
    • IR-18140


    Dive into the research topics of 'Action Contraction Using Coupled Simulation'. Together they form a unique fingerprint.

    Cite this