Algebra and Coalgebra in Computer Science

DOI10.1007/11548133zbMath1131.68057OpenAlexW249899439MaRDI QIDQ5492823

Ichiro Hasuo, Bart Jacobs

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

zbMATH Keywords

coalgebracontext-free grammarformal languagemonadKleisli category

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Categories of spans/cospans, relations, or partial maps (18B10) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (7)

Traces, Executions and Schedulers, Coalgebraically ⋮ Unnamed Item ⋮ Probabilistic anonymity via coalgebraic simulations ⋮ Processes as formal power series: a coinductive approach to denotational semantics ⋮ Quantitative simulations by matrices ⋮ Categorical Büchi and parity conditions via alternating fixed points of functors ⋮ Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems

This page was built for publication: Algebra and Coalgebra in Computer Science