A Decision Procedure for Bisimilarity of Generalized Regular Expressions
From MaRDI portal
Publication:2999323
DOI10.1007/978-3-642-19829-8_15zbMath1325.68127MaRDI QIDQ2999323
Alexandra Silva, Eugen-Ioan Goriac, Dorel Lucanu, Georgiana Caltais, Marcello M. Bonsangue, Jan J. M. M. Rutten
Publication date: 12 May 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-19829-8_15
Related Items
Program equivalence by circular reasoning, Proof Pearl: regular expression equivalence and relation algebra
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Universal coalgebra: A theory of systems
- Non-Deterministic Kleene Coalgebras
- Circular Coinduction: A Proof Theoretical Foundation
- CIRC: A Behavioral Verification Tool Based on Circular Coinduction
- A Kleene Theorem for Polynomial Coalgebras
- Two Complete Axiom Systems for the Algebra of Regular Events