Skip to main navigation Skip to search Skip to main content

A Characterization of Regular Expressions Under Bisimulation

  • J.C.M. Baeten
  • , F Corradini
  • , C.A. Grabmayer

    Research output: Contribution to journalArticleAcademicpeer-review

    Original languageUndefined/Unknown
    JournalJournal of the ACM
    Volume54
    Issue number2
    Publication statusPublished - 2007

    Cite this