A Kleene Theorem for Polynomial Coalgebras

DOI10.1007/978-3-642-00596-1_10zbMath1234.68272OpenAlexW2096312273MaRDI QIDQ3617725

Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten

Publication date: 31 March 2009

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00596-1_10

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (8)

Deriving Syntax and Axioms for Quantitative Regular Behaviours ⋮ A complete logic for behavioural equivalence in coalgebras of finitary set functors ⋮ Subsequential transducers: a coalgebraic perspective ⋮ A Decision Procedure for Bisimilarity of Generalized Regular Expressions ⋮ On the Coalgebraic Theory of Kleene Algebra with Tests ⋮ A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors ⋮ A Kleene Theorem for Polynomial Coalgebras ⋮ Coalgebraising Subsequential Transducers

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Universal coalgebra: A theory of systems
• Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
• A Kleene Theorem for Polynomial Coalgebras
• Coalgebraic Logic and Synthesis of Mealy Machines
• Derivatives of Regular Expressions

This page was built for publication: A Kleene Theorem for Polynomial Coalgebras