Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes

Journal of Logic and Algebraic Programming

Volumn 56, Issue 1-2 SPEC., 2003, Pages 99-115

  Desharnais, Josée ^a   Panangaden, Prakash ^b  

^a UNIVERSITÉ LAVAL   (Canada)

^b MCGILL UNIVERSITY   (Canada)

Author keywords

Continuous time; CSL logic, Bisimulation; Markov processes; Zeno paths

Indexed keywords

COMPUTER SIMULATION; FORMAL LOGIC; STATE SPACE METHODS; STOCHASTIC PROGRAMMING;

CONTINUOUS STOCHASTIC LOGIC (CSL); MODEL-CHECKING; ZENO PATHS;

MARKOV PROCESSES;

EID: 0037544463     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1567-8326(02)00068-1     Document Type: Article

References (16)

1. Arveson W. An Invitation to. C* - Algebra:1976;Springer-Verlag.
2. Ash R.B. Real Analysis and Probability. 1972;Academic Press.
3. A. Aziz, K. Sanwal, V. Singhal, R.K. Brayton, Verifying continuous time Markov chains. in: Proceedings of Conference on Computer-Aided Verification, 1996.
4. C. Baier, Zeno paths occur with probability zero, private communication.
5. C. Baier, B. Haverkort, H. Hermanns, J.-P. Katoen, Model checking continuous-time Markov chains by transient analysis. in: CAV 2000: Proceedings of the Twelveth Annual Symposium on Computer-Aided Verification, number 1855, Lecture Notes in Computer Science. Springer-Verlag, 2000, pp. 358-372.
6. Billingsley P. Probability and Measure. 1995;Wiley-Interscience.
7. Courant R., Hilbert D. Methods of Mathematical Physics I. 1953;J. Wiley.
8. L. de Alfaro, Formal Verification of Probabilistic Systems, PhD thesis, Stanford University, 1997. Technical Report STAN-CS-TR-98-1601.
9. Desharnais J., Edalat A., Panangaden P. Bisimulation for labeled Markov processes. Information and Computation. 2002.
10. J. Desharnais, V. Gupta, R. Jagadeesan, P. Panangaden, Metrics for labeled Markov systems. in: Proceedings of CONCUR99, Lecture Notes in Computer Science. Springer-Verlag, 1999.
11. J. Desharnais, V. Gupta, R. Jagadeesan, P. Panangaden, Approximation of labeled Markov processes, in: Proceedings of the Fifteenth Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, June 2000, pp. 95-106.
12. Dudley R.M. Real Analysis and Probability. 1989;Wadsworth and Brookes/Cole.
13. Halmos P. Measure Theory, Number 18 in Graduate Texts in Mathematics. Originally published in 1950:1974;Springer-Verlag.
14. J. Hillston, A Compositional Approach to Performance Modelling, PhD thesis, University of Edinburgh, 1994. Published as a Distinguished Dissertation by Cambridge University Press in 1996.
15. Kingman J.F.C., Taylor S.J. Introduction to Measure and Probability. 1966;Cambridge University Press.
16. Rudin W. Real and Complex Analysis. 1966;McGraw-Hill.