oai:pumaoai.isti.cnr.it:cnr.isti/cnr.isti/2014-TR-051 2015-01-15 openaire

Two possibly alternative approaches to the semantics of stochastic process calculi De Nicola, Rocco Latella, Diego Loreti, Michele Massink, Mieke Continuous Time Markov Chains Stochastic Process Calculi Structured Operational Semantics info:eu-repo/classification/acm/H.1 MODELS AND PRINCIPLES info:eu-repo/classification/acm/F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES info:eu-repo/classification/msc/68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) info:eu-repo/classification/msc/68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 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. info:eu-repo/grantAgreement/EC/FP7/288750/EU/Autonomic Service-Component Ensembles - Enlarged EU/ASCENS-ENLARGED EU 2014-09-30 info:eu-repo/semantics/report http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2014-TR-051 en 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. info:eu-repo/semantics/altIdentifier/url/http://research.microsoft.com/apps/pubs/?id=226237 application/pdf info:eu-repo/semantics/restrictedAccess