On a uniform framework for the definition of stochastic process languages (Contributo in atti di convegno)

Type

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

Label

• On a uniform framework for the definition of stochastic process languages (Contributo in atti di convegno) (literal)

Anno

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

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

• 10.1007/978-3-642-04570-7_2 (literal)

Alternative label

• Rocco De Nicola; Diego Latella; Michele Loreti; Mieke Massink (2009)
  On a uniform framework for the definition of stochastic process languages
  in Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009 Eindhoven, The Netherlands, November 2-3, 2009 Proceedings, Eindhoven, The Netherlands, November 2-3, 2009
  (literal)

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

• Rocco De Nicola; Diego Latella; Michele Loreti; Mieke Massink (literal)

Pagina inizio

• 9 (literal)

Pagina fine

• 25 (literal)

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

• Formal Methods for Industrial Critical Systems (literal)

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

• 5825 (literal)

Note

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

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

• Dipartimento di Sistemi e Informatica - Universit`a di Firenze; Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\"- CNR; Dipartimento di Sistemi e Informatica - Universit`a di Firenze; Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\"- CNR (literal)

Titolo

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

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

• 978-3-642-04569-1 (literal)

Abstract

• In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs 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 namely TIPP, PEPA and IML and show how they solve the issue of transition multiplicity in a simple and elegant way. We, moreover, show how RTSs help describing different languages, their differences and their similarities. For each calculus, we also show the formal correspondence between the RTSs semantics and the standard SOS one (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

• Keywords of "On a uniform framework for the definition of stochastic process languages" (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

• Keywords of "On a uniform framework for the definition of stochastic process languages" (Insieme di parole chiave)