Action Refinement

R. Gorrieri, Arend Rensink

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Original languageUndefined
    Title of host publicationHandbook of Process Algebra
    EditorsJ.A. Bergstra, A. Ponse, S.A. Smolka
    Place of PublicationAmsterdam
    PublisherElsevier
    Pages1047-1147
    ISBN (Print)0-444-82830-3
    Publication statusPublished - 2001

    Keywords

    • METIS-203564

    Cite this

    Gorrieri, R., & Rensink, A. (2001). Action Refinement. In J. A. Bergstra, A. Ponse, & S. A. Smolka (Eds.), Handbook of Process Algebra (pp. 1047-1147). Amsterdam: Elsevier.