<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Rate-Based Transition Systems for Stochastic Process Calculi"^^ . "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. "^^ . "2009" . . "5556" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Mieke"^^ . "Massink"^^ . "Mieke Massink"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Alberto"^^ . "Marchetti-Spaccamela"^^ . "Alberto Marchetti-Spaccamela"^^ . . "Susanne"^^ . "Albers"^^ . "Susanne Albers"^^ . . "Michele"^^ . "Loreti"^^ . "Michele Loreti"^^ . . "Diego"^^ . "Latella"^^ . "Diego Latella"^^ . . "Yossi"^^ . "Matias"^^ . "Yossi Matias"^^ . . "Wolfgang"^^ . "Thomas"^^ . "Wolfgang Thomas"^^ . . "Sotiris"^^ . "E. Nikoletseas"^^ . "Sotiris E. Nikoletseas"^^ . . . . . . "Rate-Based Transition Systems for Stochastic Process Calculi (PDF)"^^ . . . . . . . . . . . "icalp2_2009a.pdf"^^ . . . "Rate-Based Transition Systems for Stochastic Process Calculi (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "Rate-Based Transition Systems for Stochastic Process Calculi (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #275 \n\nRate-Based Transition Systems for Stochastic Process Calculi\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .