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.
Algebra and Coalgebra in Computer Science.
Vol. 3629,
Issue. ,
p.
127.
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
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.
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.
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.