http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44299

On a uniform framework for the definition of stochastic process languages (Articolo in rivista)

Type

Label

On a uniform framework for the definition of stochastic process languages (Articolo in rivista) (literal)

Anno

Alternative label

De Nicola R.; Latella D.; Loreti M.; Massink M. (2009)
On a uniform framework for the definition of stochastic process languages
in Lecture notes in computer science
(literal)

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

Pagina inizio

Pagina fine

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

Rivista

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

In: FMICS 2009 - Formal Methods for Industrial Critical Systems. 14th International Workshop (Eindhoven, The Netherlands, 2-3 November 2009). Proceedings, pp. 9 - 25. M. Alpuente, B. Cook, C. Joubert (eds.). (Lecture Notes in Computer Science, vol. 5825). Springer-Verlag, 2009. (literal)

Note

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

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

Prodotto di