eprintid: 288
rev_number: 11
eprint_status: archive
userid: 32
dir: disk0/00/00/02/88
datestamp: 2011-06-06 08:38:52
lastmod: 2011-07-11 14:36:25
status_changed: 2011-06-06 08:38:52
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Palmeri, Maria Carla
creators_name: De Nicola, Rocco
creators_name: Massink, Mieke
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
title: Basic Observables for Probabilistic May Testing
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
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.
date: 2007
date_type: published
publisher: IEEE Computer Society
pagerange: 189-200
id_number: 10.1109/QEST.2007.19
refereed: TRUE
isbn: 0-7695-2883-X
book_title: Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)
official_url: http://doi.ieeecomputersociety.org/10.1109/QEST.2007.19
citation:   Palmeri, Maria Carla and De Nicola, Rocco and Massink, Mieke  Basic Observables for Probabilistic May Testing.   In:  Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).   IEEE Computer Society, pp. 189-200.  ISBN 0-7695-2883-X      (2007)