Minimization of Synchronous Processes Preserving Bisimulation

Anna de Melo, Howard Barringer

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Original languageEnglish
    Title of host publicationhost publication
    Pages293-302
    Number of pages10
    Publication statusPublished - 1997

    Cite this