TY  - CHAP
EP  - 200
T2  - Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)
ID  - eprints288
SP  - 189
N2  - The definition of behavioural preorders over process terms as the maximal (pre-)congruences induced by basic observables has proven to be a useful technique to define various preorders and equivalences in the non-probabilistic setting. In this paper, we consider probabilistic observables to define an observational semantics for a probabilistic process calculus. The resulting pre-congruence is proven to coincide with a probabilistic may preorder, which, in turn, corresponds to a natural probabilistic extension of the may testing preorder of De Nicola and Hennessy.
A1  - Palmeri, Maria Carla
A1  - De Nicola, Rocco
A1  - Massink, Mieke
SN  - 0-7695-2883-X
PB  - IEEE Computer Society
UR  - http://doi.ieeecomputersociety.org/10.1109/QEST.2007.19
AV  - none
TI  - Basic Observables for Probabilistic May Testing
Y1  - 2007///
ER  -