Rational streams coalgebraically
From MaRDI portal
Publication:3535615
DOI10.2168/LMCS-4(3:9)2008zbMath1147.68024OpenAlexW3105979217MaRDI QIDQ3535615
Publication date: 13 November 2008
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2168/lmcs-4(3:9)2008
Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)
Related Items (9)
Rational operational models ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Weighted Bisimulation in Linear Algebraic Form ⋮ Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets ⋮ A coalgebraic perspective on linear weighted automata ⋮ Contextual equivalence for signal flow graphs ⋮ (Co)Algebraic Characterizations of Signal Flow Graphs ⋮ Context-free coalgebras
This page was built for publication: Rational streams coalgebraically
