Basic observables for probabilistic may testing (Contributo in atti di convegno)

Type

• Prodotto della ricerca (Classe)
• Contributo in atti di convegno (Classe)

Label

• Basic observables for probabilistic may testing (Contributo in atti di convegno) (literal)

Anno

• 2007-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1109/QEST.2007.19 (literal)

Alternative label

• Maria Carla Palmeri; Rocco De Nicola; Mieke Massink (2007)
  Basic observables for probabilistic may testing
  in Fourth International Conference on the Quantitative Evaluation of Systems, Edinburgh, Scotland, U.K., 17-19 September 2007
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Maria Carla Palmeri; Rocco De Nicola; Mieke Massink (literal)

Pagina inizio

• 189 (literal)

Pagina fine

• 198 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

• 4th International Conference on the Quantitative Evaluation of Systems, QEST (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• In: Fourth International Conference on the Quantitative Evaluation of Systems (Edinburgh, Scotland, U.K., 17-19 September 2007). Proceedings, pp. 189 - 198. IEEE, 2007. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto

• 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. (literal)

Note

• ISI Web of Science (WOS) (literal)
• Scopu (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Dip. di Sistemi e Informatica, Universita' di Firenze, Italy; Dip. di Sistemi e Informatica, Universita' di Firenze, Italy; CNR-ISTI, Via Moruzzi 1, Pisa, Italy (literal)

Titolo

• Basic observables for probabilistic may testing (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-0-7695-2883-0 (literal)

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 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. (literal)

Editore

• IEEE Computer Society (Editore)

Prodotto di

• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• MIEKE MASSINK (Unità di personale interno)

Insieme di parole chiave

• Parole chiave di "Basic observables for probabilistic may testing" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• MIEKE MASSINK (Unità di personale interno)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Editore di

• IEEE Computer Society (Editore)

Insieme di parole chiave di

• Parole chiave di "Basic observables for probabilistic may testing" (Insieme di parole chiave)