Probabilistic Communicating Processes

[1]  Bernhard Steffen,et al.  Reactive, Generative and Stratified Models of Probabilistic Processes , 1995, Inf. Comput..

[2]  Josyula R. Rao,et al.  Reasoning about probabilistic parallel programs , 1994, TOPL.

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

[4]  Jim Davies,et al.  Specification and proof in real-time systems , 1991 .

[5]  Scott A. Smolka,et al.  Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes , 1990, CONCUR.

[6]  Ted Herman,et al.  Probabilistic Self-Stabilization , 1990, Information Processing Letters.

[7]  Bernhard Steffen,et al.  Reactive, generative, and stratified models of probabilistic processes , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[8]  C. Jones,et al.  A probabilistic powerdomain of evaluations , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[9]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[10]  K. Mani Chandy,et al.  Parallel program design - a foundation , 1988 .

[11]  G. M. Reed.  A uniform mathematical theory for real-time distributed computingT , 1988 .

[12]  Bowen Alpern,et al.  Defining Liveness , 1984, Inf. Process. Lett..

[13]  Iso. Lotos,et al.  A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .

[14]  Amir Pnueli,et al.  On the extremely fair treatment of probabilistic algorithms , 1983, STOC.

[15]  Andrew William Roscoe.  A mathematical theory of communicating processes , 1982 .

[16]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[17]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[18]  Feller William,et al.  An Introduction To Probability Theory And Its Applications , 1950 .