Skip to main navigation Skip to search Skip to main content

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