relation: http://eprints.imtlucca.it/274/
title: On a Uniform Framework for the Definition of Stochastic Process Languages
creator: De Nicola, Rocco
creator: Latella, Diego
creator: Loreti, Michele
creator: Massink, Mieke
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
contributor: Alpuente, Maria
contributor: Cook, Byron
contributor: Joubert, Christophe
date: 2009
type: Book Section
type: PeerReviewed
identifier:   De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke  On a Uniform Framework for the Definition of Stochastic Process Languages.   In:  Formal Methods for Industrial Critical Systems (FMICS 2009).   Lecture Notes in Computer Science, 5825 .  Springer, pp. 9-25.  ISBN 978-3-642-04569-1      (2009)  
relation: http://dx.doi.org/10.1007/978-3-642-04570-7_2
relation: 10.1007/978-3-642-04570-7_2