Algebra and Coalgebra in Computer Science
From MaRDI portal
Publication:5492822
DOI10.1007/11548133zbMath1151.18001MaRDI QIDQ5492822
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11548133
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B44: Temporal logic
18B20: Categories of machines, automata
18C20: Eilenberg-Moore and Kleisli constructions for monads
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Quotients of Bounded Natural Functors, A coalgebraic view on reachability, Rigidity of unary algebras and its application to the \({\mathcal {HS} = \mathcal {SH}}\) problem, The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras, Hybrid logic with the difference modality for generalisations of graphs, On minimal coalgebras