A complete finite prefix for process algebra

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)
    Original languageUndefined
    Title of host publicationProceedings CAV'99, LNCS 1663
    Place of PublicationTrento, Italy
    Pages184-195
    Number of pages12
    Publication statusPublished - 14 Feb 1999

    Keywords

    • METIS-119597

    Cite this

    Langerak, R., & Brinksma, H. (1999). A complete finite prefix for process algebra. In Proceedings CAV'99, LNCS 1663 (pp. 184-195). Trento, Italy.