Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes
暂无分享,去创建一个
[1] J. Waals. On the Theory of the Brownian Movement , 1918 .
[2] Prakash Panangaden,et al. Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes , 2003, J. Log. Algebraic Methods Program..
[3] J. Norris. Appendix: probability and measure , 1997 .
[4] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[5] Davide Sangiorgi,et al. On the origins of bisimulation and coinduction , 2009, TOPL.
[6] L. Rogers,et al. Diffusions, Markov Processes and Martingales, Vol. 1, Foundations. , 1996 .
[7] Prakash Panangaden,et al. Bisimulation for Feller-Dynkin Processes , 2019, MFPS.
[8] Vincent Danos,et al. Bisimulation and cocongruence for probabilistic systems , 2006, Inf. Comput..
[9] David Park,et al. Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.
[10] Prakash Panangaden,et al. Expressiveness of probabilistic modal logics: A gradual approach , 2019, Inf. Comput..
[11] Ward Whitt,et al. An Introduction to Stochastic-Process Limits and their Application to Queues , 2002 .
[12] Abbas Edalat,et al. Bisimulation for labelled Markov processes , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
[13] Dudley,et al. Real Analysis and Probability: Measurability: Borel Isomorphism and Analytic Sets , 2002 .
[14] L. Rogers,et al. Diffusions, Markov processes, and martingales , 1979 .
[15] A. Bobrowski. Functional Analysis for Probability and Stochastic Processes: An Introduction , 2005 .
[16] Brendan Fong,et al. A Noether Theorem for Markov Processes , 2012, 1203.2035.
[17] R. Blute,et al. Bisimulation for Labeled Markov Processes , 1997 .
[18] Prakash Panangaden,et al. Labelled Markov Processes , 2009 .
[19] Xiongzhi Chen. Brownian Motion and Stochastic Calculus , 2008 .
[20] R. Bass,et al. Review: P. Billingsley, Convergence of probability measures , 1971 .