On a uniform framework for the definition of stochastic process languages---Full Version--- (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)

Type

• Prodotto della ricerca (Classe)
• Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali (Classe)

Label

• On a uniform framework for the definition of stochastic process languages---Full Version--- (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (literal)

Anno

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

Alternative label

• De Nicola R.; Latella D.; Loreti M.; Massink M. (2009)
  On a uniform framework for the definition of stochastic process languages---Full Version---
  
  (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#note

• Technical report, 2009. (literal)

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

• ABSTRACT: In this paper we present how Rate Transition Systems (RTS) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTS facilitate the compositional definition of such semantics exploiting operators on the next state functions which are the functional counterpart of classical process algebra operators. We apply this framework to representative fragments of major stochastic process calculi including TIPP, EMPA, PEPA and IML, and show how they solve the issue of transition multiplicity in a simple and elegant way. We, moreover, show how RTS help describing different languages, their differences and their similarities. For each calculus, we also show the formal correspondence between the RTS semantics and the standard SOS one. (literal)

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

• Altro (literal)

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

• Dipartimento di Sistemi e Informatica - Università di Firenze, CNR-ISTI, Pisa (literal)

Titolo

• On a uniform framework for the definition of stochastic process languages---Full Version--- (literal)

Prodotto di

• 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)

Autore CNR

• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (Unità di personale interno)

Insieme di parole chiave

• Parole chiave di "On a uniform framework for the definition of stochastic process languages---Full Version---" (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 "On a uniform framework for the definition of stochastic process languages---Full Version---" (Insieme di parole chiave)