Approximating labeled Markov processes

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2000, Pages 95-106

  Desharnais, Josée ^a   Jagadeesan, Radha ^b   Gupta, Vineet ^c   Panangaden, Prakash ^a  

^a MCGILL UNIVERSITY   (Canada)

^b LOYOLA UNIVERSITY CHICAGO   (United States)

^c PurpleYogi Inc   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SIMULATION; EQUIVALENCE CLASSES; FINITE AUTOMATA; FORMAL LOGIC; MATHEMATICAL MODELS; PROBABILITY;

APPROXIMATE REASONING; CONTINUOUS STATE LABELED MARKOV PROCESSES;

MARKOV PROCESSES;

EID: 0033698747     PISSN: 10436871     EISSN: None     Source Type: Journal    
DOI: 10.1109/LICS.2000.855759     Document Type: Article

References (49)

1. C. Jones Probabilistic Non-determinism 1990 University of Edinburgh
2. C. Jones G. D. Plotkin A probabilistic power-domain of evaluations Proceedings of the Fourth Annual IEEE Symposium On Logic In Computer Science 186 195 Proceedings of the Fourth Annual IEEE Symposium On Logic In Computer Science 1989
3. B. Jonsson K. Larsen Specification and refinement of probabilistic processes Proceedings of the 6th Annual IEEE Symposium On Logic In Computer Science Proceedings of the 6th Annual IEEE Symposium On Logic In Computer Science 1991
4. B. Jonsson W. Yi Compositional testing preorders for probabilistic processes Proceedings of the 10th Annual IEEE Symposium On Logic In Computer Science 431 441 Proceedings of the 10th Annual IEEE Symposium On Logic In Computer Science 1995
5. A. Jung Cartesian Closed Categories of Domains 1988
6. J. G. Kemeny J. L. Snell Finite Markov Chains 1960 Van Nostrand
7. D. Kozen Semantics of probabilistic programs Journal of Computer and Systems Sciences 22 328 350 1981
8. D. Kozen A probabilistic PDL Journal of Computer and Systems Sciences 30 2 162 178 1985
9. K. G. Larsen A. Skou Bisimulation through probablistic testing Information and Computation 94 1 28 1991
10. J. D. Lawson Continuous lattices and related topics 204 225 1982 Universität Bremen 27
11. J. D. Lawson Spaces of maximal points Mathematical Structures in Computer Science 7 5 543 555 October 1997
12. M. A. Marsan Advances in Petri Nets 1989 1 29 1989 Springer-Verlag Stochastic petri nets: an elementary introduction
13. R. Milner Communication and Concurrency 1989 Prentice-Hall
14. B. Øksendal Stochastic Differential Equations 1995 Springer-Verlag
15. K. R. Parthasarathy Probability Measures on Metric Spaces 1967 Academic Press
16. N. Saheb-Djahromi Mathematical Foundations Of Computer Science 1978 Springer-Verlag Probabilistic LCF
17. N. Saheb-Djahromi Cpos of measures for nondeterminism Theoretical Computer Science 12 1 19 37 1980
18. R. Segala Modeling and Verification of Randomized Distributed Real-Time Systems 1995
19. M. Smoluchowski Brownian motion Ann. der Physik 21 756 1906
20. R. van Glabbeek S. A. Smolka B. U. Steffen Reactive, generative, and stratified models of probabilistic processes Information and Computation 121 1 59 80 1995
21. N. Viswanadham Y. Narahari Performance Modeling of Automated Manufacturing Systems 1992 Prentice-Hall Inc
22. S.-H. Wu S. A. Smolka E. W. Stark Composition and behaviors for probabilistic I/O automata Theoretical Computer Science 176 1-2 1 36 April 1997
23. S. Abramsky A domain equation for bisimulation Information and Computation 92 2 161 218 1991
24. M. Alvarez-Manilla A. Edalat N. Saheb-Djahromi An extension result for continuous valuations Electronic Notes in Theoretical Computer Science 13 1998
25. A. Aziz V. Singhal F. Balarin R. K. Brayton A. L. Sangiovanni-Vincentelli It usually works:the temporal logic of stochastic systems In Proceedings of the Conference on Computer-Aided Verification In Proceedings of the Conference on Computer-Aided Verification 1995
26. J. C. M. Baeten J. A. Bergstra S. A. Smolka Axiomatizing probabilistic processes: ACP with generative probabilities Information and Computation 121 2 234 255 1995
27. C. Baier J-P Katonen H. Hermans Approximative symbolic model checking of continuous-time Markov chains Proceedings of the 10th International Conference on Concurrency, CONCUR99 1664 146 161 Proceedings of the 10th International Conference on Concurrency, CONCUR99 1999
28. C. Baier M. Kwiatkowska Domain equations for probabilistic processes March 1996 http://www.cs.bham.ac.uk/mzk/
29. R. Blute J. Desharnais A. Edalat P. Panangaden Bisimulation for labelled Markov processes Proceedings of the Twelfth IEEE Symposium On Logic In Computer Science Proceedings of the Twelfth IEEE Symposium On Logic In Computer Science 1997
30. R. Cleaveland Fully abstract characterizations of testing preorders for probabilistic processes CONCUR 94 836 497 512 CONCUR 94 1994-August
31. R. Cleaveland S. Smolka A. Zwarico Testing preorders for probabilistic processes Proceedings of the International Colloquium On Automata Languages And Programming 1992 623 Proceedings of the International Colloquium On Automata Languages And Programming 1992 1992
32. E. de Vink J. J. M. M. Rutten Bisimulation for probabilistic transition systems: A coalgebraic approach Proceedings of the 24th International Colloquium On Automata Languages And Programming Proceedings of the 24th International Colloquium On Automata Languages And Programming 1997
33. J. Desharnais Labelled Markov Processes November 1999 McGill University
34. J. Desharnais Logical characterization of simulation for Markov chains Probmiv99, Proceedings of the Second International Workshop on Probabilistic Methods in Verification 33 48 Probmiv99, Proceedings of the Second International Workshop on Probabilistic Methods in Verification 1999
35. J. Desharnais A. Edalat P. Panangaden A logical characterization of bisimulation for labeled Markov processes proceedings of the 13th IEEE Symposium On Logic In Computer Science 478 489 proceedings of the 13th IEEE Symposium On Logic In Computer Science Indianapolis 1998-June
36. J. Desharnais A. Edalat P. Panangaden Bisimulation for labeled Markov processes Information and Computation 2000
37. J. Desharnais V. Gupta R. Jagadeesan P. Panangaden Metrics for labeled Markov processes Proceedings of CONCUR99 Proceedings of CONCUR99 1999
38. A. Edalat Domain of computation of a random field in statistical physics Theory and Formal Methods 1994: Proceedings of the second Imperial College Department of Computing Workshop on Theory and Formal Methods 11 14 Theory and Formal Methods 1994: Proceedings of the second Imperial College Department of Computing Workshop on Theory and Formal Methods 1994
39. A. Edalat Domain theory and integration Theoretical Computer Science 151 163 193 1995
40. A. Edalat Domain theory in stochastic processes Proceedings of the Tenth Annual IEEE Symposium On Logic In Computer Science Proceedings of the Tenth Annual IEEE Symposium On Logic In Computer Science 1995
41. A. Edalat Dynamical systems, measures and fractals via domain theory Information and Computation 120 1 32 48 1995
42. A. Einstein The theory of the brownian movement Ann. der Physik 17 549 1905
43. W. Feller An Introduction to Probability Theory and its Applications II 2nd 1971 John Wiley and Sons
44. M. Giry A categorical approach to probability theory Categorical Aspects of Topology and Analysis 915 68 85 1981
45. V. Gupta R. Jagadeesan P. Panangaden Stochastic processes as concurrent constraint programs Proceedings of the 26th Proceedings Of The Annual ACM Symposium On Principles Of Programming Languages Proceedings of the 26th Proceedings Of The Annual ACM Symposium On Principles Of Programming Languages 1999
46. H. Hansson B. Jonsson A logic for reasoning about time and reliability Formal Aspects of Computing 6 5 512 535 1994
47. A. H. Hans Time and Probability in Formal Design of Distributed Systems 1994 Elseiver 1
48. S. Hart M. Sharir Probabilistic propositional temporal logics Information and Control 70 97 155 1986
49. J. Hillston A Compositional Approach to Performance Modelling 1994 University of Edinburgh