A decision procedure for bisimilarity of generalized regular expressions.

M.M. Bonsangue, G. Caltais, D. Goriac, D. Lucanu, J.J.M.M. Rutten, A. Silva

Research output: Contribution to JournalArticleAcademicpeer-review

119 Downloads (Pure)
Original languageEnglish
JournalLecture Notes in Computer Science
Publication statusPublished - 2010
EventSBMF 2010 -
Duration: 1 Jan 20101 Jan 2010

Bibliographical note

Proceedings title: Proceedings 13th Brazilian Symposium on Formal Methods (SBMF 2010)
Publisher: Springer

Cite this