Terminal Coalgebras for Measure-Polynomial Functors

DOI10.1007/978-3-642-02017-9_35zbMath1241.68085OpenAlexW1601949003MaRDI QIDQ3630218

Christoph Schubert

Publication date: 3 June 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02017-9_35

Mathematics Subject Classification ID

Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Special categories (18B99) Temporal logic (03B44) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items

Lattice properties of congruences for stochastic relations ⋮ Maximal traces and path-based coalgebraic temporal logics ⋮ Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence ⋮ Coalgebraic logic over general measurable spaces – a survey ⋮ Unnamed Item