A Characterization of Regular Expressions under Bisimulation

2007

Journal of the ACM , Volume 54 - Issue 2 p. 1- 28

Additional Metadata
THEME	Software (theme 1)
Journal	Journal of the ACM
Organisation	Computer Security
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Baeten, J., Corradini, F.& Grabmayer, C. A. (2007). A Characterization of Regular Expressions under Bisimulation. Journal of the ACM, 54(2), 1–28.

Publication