Contributo in atti di convegno, 2007, ENG, 10.1109/QEST.2007.19

Basic observables for probabilistic may testing

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

Keywords

D.2.4 Software and Program verification, 68Q85 Models and methods for concurrent and distributed computing, Probabilistic Automata, Process Algebra, Probabilistic Testing Theory

CNR authors

Massink Mieke

CNR institutes

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 links

OAI-PMH: Dublin Core

OAI-PMH: Mods

OAI-PMH: RDF

DOI: 10.1109/QEST.2007.19

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