A complete finite prefix for process algebra

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

    9 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