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