Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Doberkat, Ernst-Erich
2005.
Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem.
SIAM Journal on Computing,
Vol. 35,
Issue. 3,
p.
590.
Doberkat, Ernst-Erich
2005.
Algebra and Coalgebra in Computer Science.
Vol. 3629,
Issue. ,
p.
127.
Doberkat, Ernst-Erich
2006.
Algebraic Methodology and Software Technology.
Vol. 4019,
Issue. ,
p.
127.
Doberkat, Ernst-Erich
2007.
The Hennessy–Milner equivalence for continuous time stochastic logic with mu-operator.
Journal of Applied Logic,
Vol. 5,
Issue. 3,
p.
519.
Doberkat, Ernst-Erich
2008.
Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence.
Annals of Pure and Applied Logic,
Vol. 155,
Issue. 1,
p.
46.
Doberkat, Ernst-Erich
and
Schubert, Christoph
2009.
Coalgebraic logic for stochastic right coalgebras.
Annals of Pure and Applied Logic,
Vol. 159,
Issue. 3,
p.
268.
DOBERKAT, ERNST-ERICH
and
SCHUBERT, CHRISTOPH
2011.
Coalgebraic logic over general measurable spaces – a survey.
Mathematical Structures in Computer Science,
Vol. 21,
Issue. 2,
p.
175.
Zhou, Chunlai
and
Ying, Mingsheng
2012.
Approximating Markov processes through filtration.
Theoretical Computer Science,
Vol. 446,
Issue. ,
p.
75.
Doberkat, Ernst-Erich
2017.
Using coalgebras and the Giry monad for interpreting game logics — a tutorial.
Frontiers of Computer Science,
Vol. 11,
Issue. 6,
p.
948.
Simpson, Alex
2018.
Category-theoretic Structure for Independence and Conditional Independence.
Electronic Notes in Theoretical Computer Science,
Vol. 336,
Issue. ,
p.
281.
MORONI, MARTÍN SANTIAGO
and
SÁNCHEZ TERRAF, PEDRO
2023.
THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES.
The Review of Symbolic Logic,
Vol. 16,
Issue. 4,
p.
1011.
Chen, Linan
Clerc, Florence
and
Panangaden, Prakash
2023.
Behavioural equivalences for continuous-time Markov processes.
Mathematical Structures in Computer Science,
Vol. 33,
Issue. 4-5,
p.
222.