Approximating labeled Markov processes
暂无分享,去创建一个
Radha Jagadeesan | Prakash Panangaden | Vineet Gupta | Josée Desharnais | P. Panangaden | Vineet Gupta | J. Desharnais | R. Jagadeesan | Josée Desharnais
[1] Bernhard Steffen,et al. Reactive, Generative and Stratified Models of Probabilistic Processes , 1995, Inf. Comput..
[2] B. Øksendal. Stochastic Differential Equations , 1985 .
[3] Radha Jagadeesan,et al. Stochastic processes as concurrent constraint programs , 1999, POPL '99.
[4] Christel Baier,et al. Approximate Symbolic Model Checking of Continuous-Time Markov Chains , 1999, CONCUR.
[5] Rance Cleaveland,et al. Testing Preorders for Probabilistic Processes , 1992, Inf. Comput..
[6] Michael Huth,et al. Quantitative analysis and model checking , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
[7] Abbas Edalat. Domain theory in stochastic processes , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
[8] N. Saheb-Djahromi,et al. Probabilistic LCF , 1978, International Symposium on Mathematical Foundations of Computer Science.
[9] Jan A. Bergstra,et al. Axiomatizing Probabilistic Processes: ACP with Generative Probabilities , 1995, Inf. Comput..
[10] Samson Abramsky,et al. A Domain Equation for Bisimulation , 1991, Inf. Comput..
[11] Marco Ajmone Marsan,et al. Stochastic Petri nets: an elementary introduction , 1988, European Workshop on Applications and Theory in Petri Nets.
[12] Dexter Kozen. A Probabilistic PDL , 1985, J. Comput. Syst. Sci..
[13] Hans A. Hansson. Time and probability in formal design of distributed systems , 1991, DoCS.
[14] 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).
[15] Roberto Segala,et al. Modeling and verification of randomized distributed real-time systems , 1996 .
[16] Kim Guldstrand Larsen,et al. Specification and refinement of probabilistic processes , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
[17] Abbas Edalat. Domain of Computation of a Random Field in Statistical Physics , 1994, Theory and Formal Methods.
[18] Edward T. Samulski,et al. Brownian-motion contributions to relaxation in nematic liquid crystals , 1971 .
[19] K. Parthasarathy,et al. Probability measures on metric spaces , 1967 .
[20] K. Parthasarathy. PROBABILITY MEASURES IN A METRIC SPACE , 1967 .
[21] Yadati Narahari,et al. Performance modeling of automated manufacturing systems , 1992 .
[22] Claire Jones,et al. Probabilistic non-determinism , 1990 .
[23] John G. Kemeny,et al. Finite Markov chains , 1960 .
[24] John G. Kemeny,et al. Finite Markov Chains. , 1960 .
[25] J. Waals. On the Theory of the Brownian Movement , 1918 .
[26] Wang Yi,et al. UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.
[27] Adnan Aziz,et al. It Usually Works: The Temporal Logic of Stochastic Systems , 1995, CAV.
[28] A. Jung,et al. Cartesian closed categories of domains , 1989 .
[29] Christel Baier,et al. Symbolic Model Checking for Probabilistic Processes , 1997, ICALP.
[30] C. Baier,et al. Domain equations for probabilistic processes , 2000, Mathematical Structures in Computer Science.
[31] Scott A. Smolka,et al. Composition and Behaviors of Probabilistic I/O Automata , 1994, Theor. Comput. Sci..
[32] Dexter Kozen,et al. A probabilistic PDL , 1983, J. Comput. Syst. Sci..
[33] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[34] C. Jones,et al. A probabilistic powerdomain of evaluations , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[35] Andrea Bianco,et al. Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.
[36] Wang Yi,et al. Compositional testing preorders for probabilistic processes , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
[37] Abbas Edalat,et al. Bisimulation for Labelled Markov Processes , 2002, Inf. Comput..
[38] Abbas Edalat,et al. Dynamical Systems, Measures and Fractals via Domain Theory , 1993, Inf. Comput..
[39] Dexter Kozen,et al. Semantics of probabilistic programs , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
[40] Abbas Edalat,et al. Domain theory and integration , 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
[41] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[42] William Feller,et al. An Introduction to Probability Theory and Its Applications , 1951 .
[43] Jimmie D. Lawson,et al. Spaces of maximal points , 1997, Mathematical Structures in Computer Science.
[44] Gordon D. Plotkin,et al. The category-theoretic solution of recursive domain equations , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[45] Micha Sharir,et al. Probabilistic Propositional Temporal Logics , 1986, Inf. Control..
[46] Kim G. Larsen,et al. Bisimulation through probabilistic testing (preliminary report) , 1989, POPL '89.
[47] R. Blute,et al. Bisimulation for Labeled Markov Processes , 1997 .
[48] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[49] N. Saheb-Djahromi,et al. CPO'S of Measures for Nondeterminism , 1980, Theor. Comput. Sci..
[50] Radha Jagadeesan,et al. Metrics for Labeled Markov Systems , 1999, CONCUR.
[51] Achim Jung,et al. The troublesome probabilistic powerdomain , 1997, COMPROX.
[52] Kim G. Larsen,et al. Bisimulation through Probabilistic Testing , 1991, Inf. Comput..
[53] Christel Baier,et al. Domain equations for probabilistic processes , 2000, Mathematical Structures in Computer Science.
[54] Erik P. de Vink,et al. Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach , 1997, Theor. Comput. Sci..
[55] M. Smoluchowski. Zur kinetischen Theorie der Brownschen Molekularbewegung und der Suspensionen , 1906 .
[56] A. Einstein. Über die von der molekularkinetischen Theorie der Wärme geforderte Bewegung von in ruhenden Flüssigkeiten suspendierten Teilchen [AdP 17, 549 (1905)] , 2005, Annalen der Physik.
[57] Abbas Edalat,et al. An Extension Result for Continuous Valuations , 2000 .
[58] Rance Cleaveland,et al. Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes , 1994, CONCUR.