relation: http://eprints.imtlucca.it/288/
title: Basic Observables for Probabilistic May Testing
creator: Palmeri, Maria Carla
creator: De Nicola, Rocco
creator: Massink, Mieke
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: IEEE Computer Society
date: 2007
type: Book Section
type: PeerReviewed
identifier:   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)  
relation: http://doi.ieeecomputersociety.org/10.1109/QEST.2007.19
relation: 10.1109/QEST.2007.19