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
Related Items (9)
Unnamed Item ⋮ A complete logic for behavioural equivalence in coalgebras of finitary set functors ⋮ Coalgebraic semantics of modal logics: an overview ⋮ A description based on languages of the final non-deterministic automaton ⋮ A Decision Procedure for Bisimilarity of Generalized Regular Expressions ⋮ Initial Algebras of Terms with Binding and Algebraic Structure ⋮ Predicate liftings and functor presentations in coalgebraic expression languages ⋮ A New Foundation for Finitary Corecursion ⋮ A new foundation for finitary corecursion and iterative algebras
This page was built for publication: Non-Deterministic Kleene Coalgebras
