Refinement-oriented probability for CSP
暂无分享,去创建一个
Annabelle McIver | Carroll Morgan | Jeff W. Sanders | Karen Seidel | Karen Seidel | J. Sanders | Carroll Morgan | Annabelle McIver
[1] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[2] Rocco De Nicola,et al. Testing Equivalence for Processes , 1983, ICALP.
[3] Gavin Lowe,et al. Representing Nondeterministic and Probabilistic Behaviour in Reactive Processes , 1993 .
[4] Kim G. Larsen,et al. Bisimulation through Probabilistic Testing , 1991, Inf. Comput..
[5] Amir Pnueli,et al. Linear and Branching Structures in the Semantics and Logics of Reactive Systems , 1985, ICALP.
[6] Michael B. Smyth,et al. Power Domains and Predicate Transformers: A Topological View , 1983, ICALP.
[7] Jan A. Bergstra,et al. Axiomatizing Probabilistic Processes: ACP with Generative Probabilities , 1995, Inf. Comput..
[8] Karen Seidel,et al. Probabilistic Communicating Processes , 1992, Theor. Comput. Sci..
[9] Rocco De Nicola,et al. Testing Equivalences for Processes , 1984, Theor. Comput. Sci..
[10] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[11] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.
[12] Bernhard Steffen,et al. Reactive, generative, and stratified models of probabilistic processes , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[13] C. Jones,et al. A probabilistic powerdomain of evaluations , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[14] Anne Elisabeth Haxthausen,et al. The Raise Specification Language , 1992 .
[15] Gavin Lowe,et al. Probabilities and priorities in timed CSP , 1993 .
[16] Wang Yi,et al. Testing Probabilistic and Nondeterministic Processes , 1992, PSTV.
[17] Jan A. Bergstra,et al. Process Algebra with Partial Choice , 1994, CONCUR.
[18] Kim G. Larsen,et al. Bisimulation through probabilistic testing (preliminary report) , 1989, POPL '89.