Non-Deterministic Kleene Coalgebras
From MaRDI portal
Publication:2786140
DOI10.2168/LMCS-6(3:23)2010zbMath1208.68141arXiv1007.3769MaRDI QIDQ2786140
Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten
Publication date: 21 September 2010
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1007.3769
68Q45: Formal languages and automata
Related Items
Unnamed Item, Initial Algebras of Terms with Binding and Algebraic Structure, Coalgebraic semantics of modal logics: an overview, A complete logic for behavioural equivalence in coalgebras of finitary set functors, Predicate liftings and functor presentations in coalgebraic expression languages, A new foundation for finitary corecursion and iterative algebras, A description based on languages of the final non-deterministic automaton, A New Foundation for Finitary Corecursion, A Decision Procedure for Bisimilarity of Generalized Regular Expressions