|
6
|
Metric semantics for reactive probabilistic processes
– Gethin Josiah Norman
- 1997
|
|
|
Modeling and Verification of Randomized . . .
– Roberto Segala
- 1995
|
|
|
CHARACTERISING TESTING PREORDERS FOR FINITE PROBABILISTIC PROCESSES ∗
– Yuxin Deng A, Rob Van Glabbeek B, Matthew Hennessy C, Carroll Morgan D
- 2008
|
|
10
|
Characterising testing preorders for finite probabilistic processes
– Yuxin Deng, Rob Van Glabbeek
|
|
144
|
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
|
|
94
|
Priorities in process algebra
– Rance Cleaveland, Gerald Lüttgen, V. Natarajan
- 1999
|
|
6
|
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
|
|
51
|
Weak Bisimulation for Fully Probabilistic Processes
– Christel Baier, Holger Hermanns
- 1999
|
|
7
|
A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes
– M. Z. Kwiatkowska, G. J. Norman
- 1998
|
|
13
|
Representing Nondeterministic and Probabilistic Behaviour in Reactive Processes
– Gavin Lowe
- 1993
|
|
18
|
Probabilistic metric semantics for a simple language with recursion
– Marta Kwiatkowska, Gethin Norman
- 1996
|
|
3
|
Comparative Semantics for a Process Language With Probabilistic Choice and Non-Determinism
– J.I. den Hartog
- 1998
|
|
35
|
On Generative Parallel Composition
– Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
- 1999
|
|
7
|
NMSPA: A Non-Markovian Model for Stochastic Processes
– Natalia Lopez, Manuel Núñez
- 2000
|
|
7
|
Algebraic Theory of Probabilistic and Nondeterministic Processes
– Diego Cazorla, Fernando Cuartero, Fernando L. Pelayo, Universidad De, Castilla-la Mancha, 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
|
