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

Cached

Download Links

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

Documents Related by Co-Citation

621 Finite Markov Chains – J G Kemeny, L Small - 1976
371 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
2026 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
192 A Logic for Reasoning about Time and Reliability – Hans Hansson, Bengt Jonsson - 1994
112 Approximate symbolic model checking of continuous-time Markov chains (Extended Abstract) – Christel Baier, Joost-pieter Katoen, Holger Hermanns - 1999
52 Exact and Ordinary Lumpability in Finite Markov Chains – Peter Buchholz - 1994
120 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997
94 Model-checking algorithms for continuous-time Markov chains – Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen - 2003
76 It Usually Works: The Temporal Logic of Stochastic Systems – Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-vincentelli - 1995
40 Model Checking Continuous Time Markov Chains – Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert Brayton - 2000
483 WJ: Introduction to the numerical solution of Markov chains – Stewart - 1994
63 Model checking continuous-time Markov chains by transient analysis – Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen - 2000
523 A Compositional Approach to Performance Modelling – Jane Hillston - 1996
878 Markov Decision Processes: Discrete Stochastic Dynamic Programming – M L Puterman - 1994
1085 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
77 The randomization technique as a modeling tool and solution procedure for transient Markov chains – D Gross, D R Miller - 1984
135 Modeling and Analysis of Stochastic Systems – V G Kulkarni
233 Probabilistic Simulations for Probabilistic Processes – Roberto Segala, Nancy Lynch - 1994
51 Weak Bisimulation for Fully Probabilistic Processes – Christel Baier, Holger Hermanns - 1999