Istituto di Scienza e Tecnologie dell'Informazione     
Palmeri M. C., De Nicola R., Massink M. Basic observables for probabilistic may testing. In: Quest2007 - Fourth International Conference on the Quantitative Evaluation of Systems (Edinburgh, Scotland, U.K, 17-19 September 2007). Proceedings, pp. 189 - 200. IEEE, 2007.
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.
URL: http://ieeexplore.ieee.org/
DOI: 10.1109/QEST.2007.19
Subject Probabilistic Automata
Process Algebra
Probabilistic Testing Theory
D.2.4 Software/Program Verification
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional