Two possibly alternative approaches to the semantics of stochastic process calculi. (Rapporti tecnici/preprint/working paper)

Type

• Prodotto della ricerca (Classe)
• Rapporti tecnici/preprint/working paper (Classe)

Label

• Two possibly alternative approaches to the semantics of stochastic process calculi. (Rapporti tecnici/preprint/working paper) (literal)

Anno

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

Alternative label

• De Nicola R., Latella D., Loreti M., Massink M (2014)
  Two possibly alternative approaches to the semantics of stochastic process calculi.
  
  (literal)

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

• De Nicola R., Latella D., Loreti M., Massink M (literal)

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

• Essays for the Luca Cardelli Fest.. Martin Abadi, Philippa Gardner, Andrew D. Gordon, and Radu Mardare (eds.). Microsoft Research Technical Report MSR-TR-2014-104 - Grant agreement: 288750 - Tipo Progetto: EU_FP7 (literal)

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

• http://research.microsoft.com/apps/pubs/?id=226237 (literal)

Note

• PuMa (literal)

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

• IMT - Lucca Institute for Advanced Studies, Lucca, Italy; CNR-ISTI, Pisa, Italy; Università degli Studi di Firenze, Italy; CNR-ISTI, Pisa, Italy (literal)

Titolo

• Two possibly alternative approaches to the semantics of stochastic process calculi. (literal)

Abstract

• In a recent paper, published in ACM Computing Surveys, we introduced a unifying framework to describe the semantics of process algebras, including their variants useful for modeling quantitative aspects of behaviors. In parallel with our work Luca Cardelli and Radu Mardare advocated a new approach to the se- mantics of stochastic process algebras based on measure theory. In this note, we briefly introduce the two approaches and contrast them by using both of them to describe the semantics of PEPA, one of the most known and used stochastic process algebra. (literal)

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)
• DIEGO LATELLA (Unità di personale interno)

Insieme di parole chiave

• Parole chiave di "Two possibly alternative approaches to the semantics of stochastic process calculi." (Insieme di parole chiave)

Incoming links:

Autore CNR di

• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (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)

Insieme di parole chiave di

• Parole chiave di "Two possibly alternative approaches to the semantics of stochastic process calculi." (Insieme di parole chiave)