Rate-Based Transition Systems for Stochastic Process Calculi

Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink. Rate-Based Transition Systems for Stochastic Process Calculi. In Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas, editors, Automata, Languages and Programming, 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II. Volume 5556 of Lecture Notes in Computer Science, pages 435-446, Springer, 2009. [doi]

Authors

Rocco De Nicola

This author has not been identified. Look up 'Rocco De Nicola' in Google

Diego Latella

This author has not been identified. Look up 'Diego Latella' in Google

Michele Loreti

This author has not been identified. Look up 'Michele Loreti' in Google

Mieke Massink

This author has not been identified. Look up 'Mieke Massink' in Google