Refinement-oriented probability for CSP (1995)

Cached

Download Links

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

Active Bibliography

6 Metric semantics for reactive probabilistic processes – Gethin Josiah Norman - 1997
Modeling and Verification of Randomized . . . – Roberto Segala - 1995
14 Characterising testing preorders for finite probabilistic processes – Yuxin Deng, Rob Van Glabbeek
Testing Probabilistic Processes: Can Random Choices Be Unobservable? – Sonja Georgievska, Suzana Andova - 907
155 Reactive, Generative and Stratified Models of Probabilistic Processes – Rob J. Van Glabbeek, Scott A. Smolka, Bernhard Steffen - 1990
3 Partial Order Models for Quantitative Extensions of LOTOS – Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella - 1997
103 Priorities in process algebra – Rance Cleaveland, Gerald Lüttgen, V. Natarajan - 1999
9 Analysing randomized distributed algorithms – Gethin Norman - 2004
6 Mixing Up Nondeterminism and Probability: a preliminary report – J.I. den Hartog, E.P. de Vink - 1999
1 Trace Semantics Is Fully Abstract – Sumit Nain, Moshe Y. Vardi - 2009
57 Weak Bisimulation for Fully Probabilistic Processes – Christel Baier, Holger Hermanns - 1999
18 Probabilistic metric semantics for a simple language with recursion – Marta Kwiatkowska, Gethin Norman - 1996
18 Representing Nondeterministic and Probabilistic Behaviour in Reactive Processes – Gavin Lowe - 1993
3 Comparative Semantics for a Process Language With Probabilistic Choice and Non-Determinism – J.I. den Hartog - 1998
36 On Generative Parallel Composition – Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen - 1999
7 A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes – M. Z. Kwiatkowska, G. J. Norman - 1998
8 NMSPA: A Non-Markovian Model for Stochastic Processes – Natalia Lopez, Manuel Núñez - 2000
12 Algebraic Theory of Probabilistic and Nondeterministic Processes – D. Cazorla, F. Cuartero, V. Valero, F. L. Pelayo - 2001
2 Hierarchical Reasoning in Probabilistic CSP – Karen Seidel, Karen Seidel, Carroll Morgan, Carroll Morgan - 1996