# Basic Observables for Probabilistic May Testing

Palmeri, Maria Carla and De Nicola, Rocco and Massink, Mieke Basic Observables for Probabilistic May Testing. In: Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007). IEEE Computer Society, pp. 189-200. ISBN 0-7695-2883-X (2007)

Full text not available from this repository.

## Abstract

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.

Item Type: Book Section 10.1109/QEST.2007.19 Q Science > QA Mathematics > QA75 Electronic computers. Computer science Computer Science and Applications Rocco De Nicola 06 Jun 2011 08:38 11 Jul 2011 14:36 http://eprints.imtlucca.it/id/eprint/288