A Characterization of Regular Expressions Under Bisimulation

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

Research output: Contribution to journal › Article › Academic › peer-review

Cite this

@article{3a19c1ea26974212972dbbc79e945874,

title = "A Characterization of Regular Expressions Under Bisimulation",

author = "J.C.M. Baeten and F Corradini and C.A. Grabmayer",

year = "2007",

language = "Undefined/Unknown",

volume = "54",

journal = "Journal of the ACM",

issn = "1557-735X",

publisher = "Association for Computing Machinery (ACM)",

number = "2",

}