PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
De Nicola R., Latella D., Loreti M., Massink M. Two possibly alternative approaches to the semantics of stochastic process calculi. Essays for the Luca Cardelli Fest.. Martin Abadi, Philippa Gardner, Andrew D. Gordon, and Radu Mardare (eds.), pp. 95-108. Microsoft Research Technical Report MSR-TR-2014-104. Technical report, 2014.
 
 
Abstract
(English)
In a recent paper, published in ACM Computing Surveys, we introduced a unifying framework to describe the semantics of process algebras, including their variants useful for modeling quantitative aspects of behaviors. In parallel with our work Luca Cardelli and Radu Mardare advocated a new approach to the se- mantics of stochastic process algebras based on measure theory. In this note, we briefly introduce the two approaches and contrast them by using both of them to describe the semantics of PEPA, one of the most known and used stochastic process algebra.
URL: http://research.microsoft.com/apps/pubs/?id=226237
Subject Continuous Time Markov Chains
Stochastic Process Calculi
Structured Operational Semantics
H.1 MODELS AND PRINCIPLES
F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional