A Decision Procedure for Bisimilarity of Generalized Regular Expressions

DOI10.1007/978-3-642-19829-8_15zbMATH Open1325.68127OpenAlexW1753290412MaRDI QIDQ2999323FDOQ2999323

Authors: Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Alexandra Silva, 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

Recommendations

• A characterization of regular expressions under bisimulation
• Unified decision procedures for regular expression equivalence
• A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions
• scientific article; zbMATH DE number 7315073
• A Compact Proof of Decidability for Regular Expression Equivalence
• Expressiveness modulo bisimilarity of regular expressions with parallel composition
• scientific article; zbMATH DE number 871236
• A Decision Procedure for Regular Expression Equivalence in Type Theory
• On a generalization of regular expressions
• An Equational Axiomatization of Bisimulation over Regular Expressions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65)

Cites Work

• CIRC: A Behavioral Verification Tool Based on Circular Coinduction
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Universal coalgebra: A theory of systems
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Two Complete Axiom Systems for the Algebra of Regular Events
• Circular coinduction: a proof theoretical foundation
• A Kleene Theorem for Polynomial Coalgebras
• Non-deterministic Kleene coalgebras
• Behavioral and coinductive rewriting
• Title not available (Why is that?)

Cited In (5)

• Quantitative Kleene coalgebras
• Verified decision procedures for MSO on words based on derivatives of regular expressions
• Title not available (Why is that?)
• Proof Pearl: regular expression equivalence and relation algebra
• Program equivalence by circular reasoning

Uses Software

• CIRC
• Maude

This page was built for publication: A Decision Procedure for Bisimilarity of Generalized Regular Expressions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2999323)