relation: http://eprints.imtlucca.it/275/
title: Rate-Based Transition Systems for Stochastic Process Calculi
creator: De Nicola, Rocco
creator: Latella, Diego
creator: Loreti, Michele
creator: Massink, Mieke
subject: QA75 Electronic computers. Computer science
description: 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. 
publisher: Springer
contributor: Albers, Susanne
contributor: Marchetti-Spaccamela, Alberto
contributor: Matias, Yossi
contributor: E. Nikoletseas, Sotiris
contributor: Thomas, Wolfgang
date: 2009
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/275/1/icalp2_2009a.pdf
identifier:   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)  
relation: http://dx.doi.org/10.1007/978-3-642-02930-1_36
relation: 10.1007/978-3-642-02930-1_36