Rate-Based Transition Systems for Stochastic Process Calculi

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)

Preview

PDF - Accepted Version Download (315kB) | Preview

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.

Item Type:	Book Section
Identification Number:	https://doi.org/10.1007/978-3-642-02930-1_36
Additional Information:	The original publication is available at www.springerlink.com
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.
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area:	Computer Science and Applications
Depositing User:	Rocco De Nicola
Date Deposited:	25 May 2011 10:30
Last Modified:	11 Jul 2011 14:36
URI:	http://eprints.imtlucca.it/id/eprint/275

Actions (login required)

Edit Item