Action refinement

Roberto Gorrieri*, Arend Rensink

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review


    In this chapter, we give a comprehensive overview of the research results in the field of action refinement during the past 12 years. The different approaches that have been followed are outlined in detail and contrasted to each other in a uniform framework. We use two running examples to discuss their effects, benefits and disadvantages. The chapter contains results only; appropriate references are given to the original papers containing the proofs.
    Original languageEnglish
    Title of host publicationHandbook of Process Algebra
    EditorsJ.A. Bergstra, A. Ponse, S.A. Smolka
    Place of PublicationAmsterdam
    Number of pages92
    ISBN (Print)978-0-444-82830-9
    Publication statusPublished - 2001

    Cite this