Contributo in atti di convegno, 2007, ENG, 10.1109/QEST.2007.19
Palmeri M. C.; De Nicola R.; Massink M.
Dipartimento di Sistemi e Informatica, Università di Firenze, Florence, Italy; Dipartimento di Sistemi e Informatica, Università di Firenze, Florence, Italy; CNR-ISTI, Pisa, Italy
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, pp. 189–198, Edinburgh, Scotland, U.K., 17-19 September 2007
D.2.4 Software and Program verification, 68Q85 Models and methods for concurrent and distributed computing, Probabilistic Automata, Process Algebra, Probabilistic Testing Theory
ISTI – Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"
ID: 91746
Year: 2007
Type: Contributo in atti di convegno
Creation: 2009-06-16 00:00:00.000
Last update: 2018-02-15 08:32:04.000
CNR authors
External IDs
CNR OAI-PMH: oai:it.cnr:prodotti:91746
DOI: 10.1109/QEST.2007.19
ISI Web of Science (WOS): 000250951700025
Scopus: 2-s2.0-47949097735