On the Expressive Power of Schedulers in Distributed Probabilistic Systems
暂无分享,去创建一个
[1] Thomas A. Henzinger,et al. Compositional Methods for Probabilistic Systems , 2001, CONCUR.
[2] Scott A. Smolka,et al. Composition and Behaviors of Probabilistic I/O Automata , 1994, Theor. Comput. Sci..
[3] Nancy A. Lynch,et al. Switched PIOA: Parallel composition via distributed scheduling , 2006, Theor. Comput. Sci..
[4] Pedro R. D'Argenio,et al. On the verification of probabilistic I/O automata with unspecified rates , 2009, SAC '09.
[5] Christel Baier,et al. LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
[6] Ling Cheung,et al. Reconciling nondeterministic and probabilistic choices , 2006 .
[7] David Chaum,et al. The dining cryptographers problem: Unconditional sender and recipient untraceability , 1988, Journal of Cryptology.
[8] Bernhard Steffen,et al. Reactive, Generative and Stratified Models of Probabilistic Processes , 1995, Inf. Comput..
[9] Krishnendu Chatterjee,et al. On Nash Equilibria in Stochastic Games , 2004, CSL.
[10] Paola Lecca,et al. A new probabilistic generative model of parameter inference in biochemical networks , 2009, SAC '09.
[11] Pedro R. D'Argenio,et al. Quantitative Model Checking Revisited: Neither Decidable Nor Approximable , 2007, FORMATS.
[12] Andrea Bianco,et al. Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.
[13] L. D. Alfaro. The Verification of Probabilistic Systems Under Memoryless Partial-Information Policies is Hard , 1999 .
[14] Roberto Segala,et al. Modeling and verification of randomized distributed real-time systems , 1996 .
[15] Catuscia Palamidessi,et al. A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange , 2005, TGC.
[16] W. Browder,et al. Annals of Mathematics , 1889 .
[17] Andrew Hinton,et al. PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.