Abstract and concrete categories
Abstract and concrete categories
Model-Checking Algorithms for Continuous-Time Markov Chains
IEEE Transactions on Software Engineering
Domain theory, testing and simulation for labelled Markov processes
Theoretical Computer Science - Foundations of software science and computation structures
Stochastic Relations
Final coalgebras for functors on measurable spaces
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Final sequences and final coalgebras for measurable spaces
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Coalgebraic logic over general measurable spaces ??? a survey
Mathematical Structures in Computer Science
Connections of coalgebra and semantic modeling
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Hi-index | 0.00 |
We use the Kolmogorov Consistency Theorem from Measure Theory to construct terminal coalgebras for a large class of functors on the category of measurable spaces. In particular, we construct terminal stochastic relations and terminal labelled Markov processes. We use this constructions to provide extended expressivity results for canonical interpretations of modal and temporal logics in these structures.