A Decision Procedure for Bisimilarity of Generalized Regular Expressions


A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene’s theorem and Kleene algebra, were recently proposed by a subset of the authors of this paper. Examples of the systems covered include infinite streams, deterministic automata and Mealy machines. In this paper, we present a tool where… (More)
DOI: 10.1007/978-3-642-19829-8_15
View Slides

2 Figures and Tables


  • Presentations referencing similar topics