Domain semantics of possibility computations
Information Sciences: an International Journal
Bisimilarity of Distributionally Equivalent Markov Transition Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Erratum: Erratum and Addendum: Eilenberg-Moore algebras for stochastic relations
Information and Computation
Terminal Coalgebras for Measure-Polynomial Functors
TAMC '09 Proceedings of the 6th Annual Conference on Theory and Applications of Models of Computation
Categories of Timed Stochastic Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence
Electronic Notes in Theoretical Computer Science (ENTCS)
Weak bisimulations for the Giry monad
TAMC'08 Proceedings of the 5th international conference on Theory and applications of models of computation
Weak bisimulations for the giry monad†
Mathematical Structures in Computer Science
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
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Towards a system model for ensembles
Formal modeling
Bisimulations for non-deterministic labelled markov processes
Mathematical Structures in Computer Science
Modalities in the Stone age: A comparison of coalgebraic logics
Theoretical Computer Science
Taking it to the limit: approximate reasoning for markov processes
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
Coalgebraic trace semantics for probabilistic transition systems based on measure theory
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Approximating Markov Processes by Averaging
Journal of the ACM (JACM)
Stone Duality for Markov Processes
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |