Methodological Aspects of Action Refinement

E.-R. Olderog (Editor), Arend Rensink

    Research output: Contribution to conferencePaperAcademicpeer-review

    15 Downloads (Pure)


    The principle of action refinement refers to the implementation of abstract actions through more complex, concrete processes. In this paper we study the fundamental question how to use this principle in process algebraic system design. We formulate a methodological framework to express design under action refinement, and present two applications of this framework. The first application corresponds to the well-known interpretation of action refinement as an operator in the algebra, requiring a non-interleaving semantics; the second application is new, and results in a much more flexible notion of design, which is moreover compatible with the standard interleaving semantics.
    Original languageUndefined
    Number of pages20
    Publication statusPublished - 1994
    EventProgramming Concepts, Methods and Calculi - San Miniato, Italy
    Duration: 1 Jan 19941 Jan 1994


    ConferenceProgramming Concepts, Methods and Calculi


    • IR-66643
    • EWI-8255

    Cite this