Refinement-oriented probability for CSP (1995)

Cached

Download Links

by Carroll Morgan , Annabelle McIver , Karen Seidel , J.W. Sanders
Citations:35 - 5 self

Documents Related by Co-Citation

405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
270 Probabilistic Simulations for Probabilistic Processes – Roberto Segala, Nancy Lynch - 1994
73 Equivalences, Congruences and Complete Axiomatizations of Probabilistic Processes – C-C Jou, S A Smolka - 1990
95 A calculus for communicating systems with time and probabilities – H Hansson, B Jonsson - 1985
148 Time and probability in formal design of distributed systems – H A Hansson - 1994
137 Probabilistic Non-determinism – C Jones - 1990
3219 Communication and Concurrency – R Milner - 1990
583 The Theory and Practice of Concurrency – A W Roscoe - 1997
136 Semantics of probabilistic programs – D Kozen - 1981
50 Probabilistic models for the guarded command languageā€. In: Science of Computer Programming 28.2-3 – Jifeng He, K Seidel, A McIver - 1997
106 PROBABILISTIC PREDICATE TRANSFORMERS – Carroll Morgan, Annabelle McIver, Karen Seidel, JW Sanders - 1995
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
126 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
18 Representing Nondeterministic and Probabilistic Behaviour in Reactive Processes – Gavin Lowe - 1993
94 Algebraic Reasoning for Probabilistic Concurrent Systems – Alessandro Giacalone, Chi-chang Jou, Scott A. Smolka - 1990
33 Process Algebra with Probabilistic Choice – Suzana Andova - 1999
59 Testing Probabilistic and Nondeterministic Processes – Wang Yi, K G Larsen - 1992
47 Compositional Testing Preorders for Probabilistic Processes – Bengt Jonsson, Wang Yi - 1995
364 Process algebra for synchronous communication – J. A. Bergstra, J. W. Klop - 1984