eprintid: 275
rev_number: 13
eprint_status: archive
userid: 32
dir: disk0/00/00/02/75
datestamp: 2011-05-25 10:30:52
lastmod: 2011-07-11 14:36:25
status_changed: 2011-05-25 10:30:52
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: Rate-Based Transition Systems for Stochastic Process Calculi
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: The original publication is available at www.springerlink.com
abstract: A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition relation used in our variant associates to each process, for each action, the set of possible futures paired with a measure indicating their rates. We show how RTS can be used for providing the operational semantics of stochastic extensions of classical formalisms, namely CSP and CCS. We also show that our semantics for stochastic CCS guarantees associativity of parallel composition. Similarly, in contrast with the original definition by Priami, we argue that a semantics for stochastic π-calculus can be provided that guarantees associativity of parallel composition. 
date: 2009
date_type: published
series: Lecture Notes in Computer Science
volume: 5556
publisher: Springer
pagerange: 435-446
id_number: 10.1007/978-3-642-02930-1_36
refereed: TRUE
isbn: 978-3-642-02929-5
book_title: Automata, Languages and Programming (ICALP (2) 2009)
editors_name: Albers, Susanne
editors_name: Marchetti-Spaccamela, Alberto
editors_name: Matias, Yossi
editors_name: E. Nikoletseas, Sotiris
editors_name: Thomas, Wolfgang
official_url: http://dx.doi.org/10.1007/978-3-642-02930-1_36
funders: Research partially funded by EU IP SENSORIA (contract n. 016004), EU project RESIST/FAERUS (IST-2006-026764), the CNR-RSTL project XXL, the Italian national projects FIRB-MUR TOCAI.IT and PRIN PACO.
citation:   De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke  Rate-Based Transition Systems for Stochastic Process Calculi.   In:  Automata, Languages and Programming (ICALP (2) 2009).   Lecture Notes in Computer Science, 5556 .  Springer, pp. 435-446.  ISBN 978-3-642-02929-5      (2009)  
document_url: http://eprints.imtlucca.it/275/1/icalp2_2009a.pdf