Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
From MaRDI portal
Publication:2946691
DOI10.1145/2422085.2422092zbMath1353.68186arXiv1104.2803OpenAlexW3121572647MaRDI QIDQ2946691
Marcello M. Bonsangue, Alexandra Silva, Stefan Milius
Publication date: 17 September 2015
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1104.2803
Algebraic theory of languages and automata (68Q70) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items
Rational operational models, Unnamed Item, Complete axiomatization for the total variation distance of Markov chains, Unnamed Item, Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets, Hopf monoids in varieties, On Finitary Functors, Coalgebraic constructions of canonical nondeterministic automata, Preservation and reflection of bisimilarity via invertible steps, Unnamed Item, Towards general axiomatizations for bisimilarity and trace semantics, Algebra-coalgebra duality in brzozowski's minimization algorithm, Initial Algebras of Terms with Binding and Algebraic Structure, (Co)Algebraic Characterizations of Signal Flow Graphs, Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems, Unnamed Item, Quantitative simulations by matrices, A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata, Steps and traces, On algebras with effectful iteration, A New Foundation for Finitary Corecursion, A new foundation for finitary corecursion and iterative algebras, Hopf Semialgebras, Simplified Coalgebraic Trace Equivalence, Congruences of convex algebras., Coalgebraic semantics for nominal automata, Unnamed Item