Weak bisimulation is sound and complete for pCTL*

[1]  Nancy A. Lynch,et al.  Probabilistic Simulations for Probabilistic Processes , 1994, Nord. J. Comput..

[2]  W. Arveson.  An Invitation To C*-Algebras , 1976 .

[3]  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).

[4]  P. Meyer.  Probability and potentials , 1966 .

[5]  Radha Jagadeesan,et al.  The metric analogue of weak bisimulation for probabilistic processes , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.

[6]  Claire Jones,et al.  Probabilistic non-determinism , 1990 .

[7]  Adnan Aziz,et al.  It Usually Works: The Temporal Logic of Stochastic Systems , 1995, CAV.

[8]  Insup Lee,et al.  Weak Bisimulation for Probabilistic Systems , 2000, CONCUR.

[9]  H. H. Schaefer.  Topological Vector Spaces , 1967 .

[10]  Zohar Manna,et al.  Formal verification of probabilistic systems , 1997 .

[11]  Robin Milner,et al.  Algebraic laws for nondeterminism and concurrency , 1985, JACM.

[12]  R. Lathe.  Phd by thesis , 1988, Nature.

[13]  Stephen D. Brookes.  Full Abstraction for a Shared-Variable Parallel Language , 1996, Inf. Comput..

[14]  Jan J. M. M. Rutten,et al.  Fully Abstract Denotational Models for Nonuniform Concurrent Languages , 1994, Inf. Comput..

[15]  Roberto Segala,et al.  Axiomatizations for Probabilistic Bisimulation , 2001, ICALP.

[16]  Christel Baier,et al.  Weak Bisimulation for Fully Probabilistic Processes , 1997, FBT.

[17]  Joseph Y. Halpern,et al.  Proceedings of the 20th conference on Uncertainty in artificial intelligence , 2004, UAI 2004.

[18]  Roberto Segala,et al.  Modeling and verification of randomized distributed real-time systems , 1996 .

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

[20]  C. Dellacherie.  Capacités et processus stochastiques , 1972 .

[21]  Prakash Panangaden,et al.  Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes , 2003, J. Log. Algebraic Methods Program..

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

[23]  Abbas Edalat,et al.  Bisimulation for labelled Markov processes , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.

[24]  Hans A. Hansson.  Time and probability in formal design of distributed systems , 1991, DoCS.

[25]  G. Choquet.  Theory of capacities , 1954 .

[26]  John G. Kemeny,et al.  Finite Markov chains , 1960 .

[27]  R. Blute,et al.  Bisimulation for Labeled Markov Processes , 1997 .