Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Desharnais, J.
Edalat, A.
and
Panangaden, P.
1998.
A logical characterization of bisimulation for labeled Markov processes.
p.
478.
Desharnais, Josée
Edalat, Abbas
and
Panangaden, Prakash
2002.
Bisimulation for Labelled Markov Processes.
Information and Computation,
Vol. 179,
Issue. 2,
p.
163.
Doberkat, Ernst-Erich
2003.
Foundations of Software Science and Computation Structures.
Vol. 2620,
Issue. ,
p.
233.
Doberkat, Ernst-Erich
2003.
Automata, Languages and Programming.
Vol. 2719,
Issue. ,
p.
996.
Doberkat, Ernst-Erich
2005.
The converse of a stochastic relation.
The Journal of Logic and Algebraic Programming,
Vol. 62,
Issue. 1,
p.
133.
Bujorianu, Manuela L.
Lygeros, John
and
Bujorianu, Marius C.
2005.
Hybrid Systems: Computation and Control.
Vol. 3414,
Issue. ,
p.
198.
Danos, Vincent
Desharnais, Josée
Laviolette, François
and
Panangaden, Prakash
2006.
Bisimulation and cocongruence for probabilistic systems.
Information and Computation,
Vol. 204,
Issue. 4,
p.
503.
Wolovick, Nicolás
and
Johr, Sven
2006.
Formal Modeling and Analysis of Timed Systems.
Vol. 4202,
Issue. ,
p.
352.
Edalat, Abbas
2007.
A computable approach to measure and integration theory.
p.
463.
Edalat, Abbas
2009.
A computable approach to measure and integration theory.
Information and Computation,
Vol. 207,
Issue. 5,
p.
642.
Panangaden, Prakash
2011.
Advanced Topics in Bisimulation and Coinduction.
p.
290.
Sánchez Terraf, Pedro
2011.
Unprovability of the logical characterization of bisimulation.
Information and Computation,
Vol. 209,
Issue. 7,
p.
1048.
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.
Hermanns, Holger
Krčál, Jan
and
Křetínský, Jan
2014.
CONCUR 2014 – Concurrency Theory.
Vol. 8704,
Issue. ,
p.
249.
Chaput, Philippe
Danos, Vincent
Panangaden, Prakash
and
Plotkin, Gordon
2014.
Approximating Markov Processes by Averaging.
Journal of the ACM,
Vol. 61,
Issue. 1,
p.
1.
Doberkat, Ernst-Erich
2015.
Special Topics in Mathematics for Computer Scientists.
p.
1.
Doberkat, Ernst-Erich
2015.
Special Topics in Mathematics for Computer Scientists.
p.
427.
Doberkat, Ernst-Erich
2015.
Special Topics in Mathematics for Computer Scientists.
p.
109.
Doberkat, Ernst-Erich
2015.
Special Topics in Mathematics for Computer Scientists.
p.
281.
SÁNCHEZ TERRAF, PEDRO
2017.
Bisimilarity is not Borel.
Mathematical Structures in Computer Science,
Vol. 27,
Issue. 7,
p.
1265.