Basic Observables for Probabilistic May Testing

Authors:
Maria Carla Palmeri;Rocco De Nicola;Mieke Massink
Affiliations:
Universita di Firenze, Italy;Universita di Firenze, Italy;CNR-ISTI, Italy
Venue:
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Year:
2007

Citing 0
Cited 2

Retaining the probabilities in probabilistic testing theory

FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

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.