Continuous Stochastic Logic Characterizes Bisimulation of Continuous-time Markov Processes (2002)

View PDF

Download Links

by Josée Desharnais , Prakash Panangaden
Venue:J. of Logic and Alg. Progr
Citations:25 - 3 self

Documents Related by Co-Citation

429 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
857 Finite Markov Chains – J G Kemeny, J L Snell - 1960
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
279 A Logic for Reasoning about Time and Reliability – Hans Hansson, Bengt Jonsson - 1994
1329 Markov Decision Processes: Discrete Stochastic Programming – Martin L Puterman - 1994
644 A Compositional Approach to Performance Modelling – Jane Hillston - 1996
634 Introduction to the Numerical Solution of Markov Chains – W J Stewart - 1994
147 Bisimulation for Labelled Markov Processes – Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden - 1997
76 Exact and Ordinary Lumpability in Finite Markov Chains – Peter Buchholz - 1994