A complete finite prefix for process algebra

Romanus Langerak, Hendrik Brinksma

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    11 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