eprintid: 274
rev_number: 12
eprint_status: archive
userid: 32
dir: disk0/00/00/02/74
datestamp: 2011-05-25 10:17:05
lastmod: 2011-07-11 14:36:24
status_changed: 2011-05-25 10:17:05
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_name: Latella, Diego
creators_name: Loreti, Michele
creators_name: Massink, Mieke
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
title: On a Uniform Framework for the Definition of Stochastic Process Languages
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
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.
date: 2009
date_type: published
series: Lecture Notes in Computer Science
volume: 5825
publisher: Springer
pagerange: 9-25
id_number: 10.1007/978-3-642-04570-7_2
refereed: TRUE
isbn: 978-3-642-04569-1
book_title: Formal Methods for Industrial Critical Systems (FMICS 2009)
editors_name: Alpuente, Maria
editors_name: Cook, Byron
editors_name: Joubert, Christophe
official_url: http://dx.doi.org/10.1007/978-3-642-04570-7_2
funders: Research partially funded by EU IP SENSORIA (contract n. 016004), CNR-RSTL project XXL, FIRB-MUR project TOCAI.IT and by PRIN-MIUR PACO.
citation:   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)