Towards Quantitative Verification of Probabilistic Transition Systems

[1]  James Worrell,et al.  An Algorithm for Quantitative Verification of Probabilistic Transition Systems , 2001, CONCUR.

[2]  Jan J. M. M. Rutten,et al.  Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..

[3]  Radha Jagadeesan,et al.  Approximating labeled Markov processes , 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).

[4]  Radha Jagadeesan,et al.  Metrics for Labeled Markov Systems , 1999, CONCUR.

[5]  Jan Rutten,et al.  On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces , 1998, Mathematical Structures in Computer Science.

[6]  Abbas Edalat,et al.  A logical characterization of bisimulation for labeled Markov processes , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).

[7]  den Ji Jerry Hartog.  Comparative semantics for a process language with probabilistic choice and non-determinism , 1998 .

[8]  G. A. Edgar.  Integral, probability, and fractal measures , 1997 .

[9]  Michael Huth,et al.  Quantitative analysis and model checking , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.

[10]  Paolo Baldan,et al.  A Fixed-Point Theorem in a Category of Compact Metric Spaces , 1995, Theor. Comput. Sci..

[11]  Jan J. M. M. Rutten,et al.  On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders , 1992, REX Workshop.

[12]  Kim G. Larsen,et al.  Bisimulation through Probabilistic Testing , 1991, Inf. Comput..

[13]  Scott A. Smolka,et al.  Algebraic Reasoning for Probabilistic Concurrent Systems , 1990, Programming Concepts and Methods.

[14]  Michèle Giry,et al.  A categorical approach to probability theory , 1982 .

[15]  R. Ash,et al.  Real analysis and probability , 1975 .

[16]  K. Parthasarathy.  PROBABILITY MEASURES IN A METRIC SPACE , 1967 .

[17]  K. Parthasarathy,et al.  Probability measures on metric spaces , 1967 .