Proving language inclusion and equivalence by coinduction
From MaRDI portal
Publication:899321
DOI10.1016/J.IC.2015.11.009zbMATH Open1333.68174OpenAlexW2184297521MaRDI QIDQ899321FDOQ899321
Marcello M. Bonsangue, Jurriaan Rot, Jan J. M. M. Rutten
Publication date: 28 December 2015
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2015.11.009
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- CIRC: A Behavioral Verification Tool Based on Circular Coinduction
- Derivatives of Regular Expressions
- Universal coalgebra: A theory of systems
- Checking NFA equivalence with bisimulations up to congruence
- Bialgebras for structural operational semantics: an introduction
- Calculi for synchrony and asynchrony
- A calculus of communicating systems
- Automated Analysis of Regular Algebra
- Deciding Kleene algebras in \texttt{Coq}
- Conjunctive and Boolean grammars: the true general case of the context-free grammars
- On the bisimulation proof method
- Une condition impliquant toutes les identités rationnelles
- Coinduction up-to in a fibrational setting
- Enhancements of the bisimulation proof method
- Concurrent Kleene algebra and its foundations
- Two Families of Languages Related to ALGOL
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Proof Pearl: regular expression equivalence and relation algebra
- Regular expression containment
- Algebra and Coalgebra in Computer Science
- Enhanced coalgebraic bisimulation
- Deciding Regular Expressions (In-)Equivalence in Coq
- A Decision Procedure for Regular Expression Equivalence in Type Theory
- Coinductive Proof Techniques for Language Equivalence
- Circular Coinduction in Coq Using Bisimulation-Up-To Techniques
Cited In (3)
Uses Software
This page was built for publication: Proving language inclusion and equivalence by coinduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q899321)
