Decision Algorithms for Probabilistic Bisimulation
暂无分享,去创建一个
[1] Bernhard Steffen,et al. Reactive, Generative and Stratified Models of Probabilistic Processes , 1995, Inf. Comput..
[2] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[3] Christel Baier,et al. Norm Functions for Probabilistic Bisimulations with Delays , 2000, FoSSaCS.
[4] Annabelle McIver,et al. Probabilistic predicate transformers , 1996, TOPL.
[5] Bengt Jonsson,et al. A calculus for communicating systems with time and probabilities , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.
[6] Hans A. Hansson. Time and probability in formal design of distributed systems , 1991, DoCS.
[7] Scott A. Smolka,et al. Composition and Behaviors of Probabilistic I/O Automata , 1994, Theor. Comput. Sci..
[8] Christel Baier,et al. Weak Bisimulation for Fully Probabilistic Processes , 1997, FBT.
[9] Kim G. Larsen,et al. Bisimulation through probabilistic testing (preliminary report) , 1989, POPL '89.
[10] Joost-Pieter Katoen,et al. Process algebra for performance evaluation , 2002, Theor. Comput. Sci..
[11] Roberto Segala,et al. Modeling and verification of randomized distributed real-time systems , 1996 .
[12] Insup Lee,et al. Weak Bisimulation for Probabilistic Systems , 2000, CONCUR.
[13] Nancy A. Lynch,et al. Probabilistic Simulations for Probabilistic Processes , 1994, Nord. J. Comput..
[14] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[15] Zohar Manna,et al. Formal verification of probabilistic systems , 1997 .
[16] Robert E. Tarjan,et al. Three Partition Refinement Algorithms , 1987, SIAM J. Comput..
[17] Narendra Karmarkar,et al. A new polynomial-time algorithm for linear programming , 1984, Comb..
[18] Karen Seidel,et al. Probabilistic Communicating Processes , 1992, Theor. Comput. Sci..
[19] Kim G. Larsen,et al. Bisimulation through Probabilistic Testing , 1991, Inf. Comput..
[20] Scott A. Smolka,et al. CCS expressions, finite state processes, and three problems of equivalence , 1983, PODC '83.
[21] J. Kemeny,et al. Denumerable Markov chains , 1969 .
[22] Christel Baier,et al. Deciding Bisimilarity and Similarity for Probabilistic Processes , 2000, J. Comput. Syst. Sci..