http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44306

Rate-based transition systems for stochastic process calculi (Articolo in rivista)

Type

Label

Rate-based transition systems for stochastic process calculi (Articolo in rivista) (literal)

Anno

Alternative label

De Nicola R.; Latella D.; Loreti M.; Massink M. (2009)
Rate-based transition systems for stochastic process calculi
in Lecture notes in computer science
(literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

Pagina inizio

Pagina fine

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

Rivista

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

In: ICALP 2009 - Automata, Languages and Programming. 36th Internatilonal Colloquium (Rhodes, Greece, 5-12 July 2009). Proceedings, vol. II pp. 435 - 446. (Lecture Notes in Computer Science, vol. 5556). Springer Verlag, 2009. (literal)

Note

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

Dipartimento di Sistemi e Informatica - Università di Firenze, CNR-ISTI, Pisa (literal)

Titolo

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 pi-calculus can be provided that guarantees associativity of parallel composition. (literal)

Prodotto di