RESULTS FROM 1 TO 1 OF 1

2007, Contributo in atti di convegno, ENG

Basic observables for probabilistic may testing

Palmeri M. C.; De Nicola R.; Massink M.

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 pro- cess 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.

Fourth International Conference on the Quantitative Evaluation of Systems, Edinburgh, Scotland, U.K., 17-19 September 2007

DOI: 10.1109/QEST.2007.19

Institute
Author
TypeSelected 0/1
    Contributo in atti di convegno (1)
Research program
EU Funding Program
EU Project
YearSelected 0/1
    2007 (1)
LanguageSelected 0/1
    Inglese (1)
Keyword

Probabilistic Automata

RESULTS FROM 1 TO 1 OF 1