Logo eprints

A uniform definition of stochastic process calculi

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke A uniform definition of stochastic process calculi. ACM Computing Surveys, 46 (1). pp. 1-35. ISSN 0360-0300 (2013)

Full text not available from this repository.


We introduce a unifying framework to provide the semantics of process algebras, including their quantitative variants useful for modeling quantitative aspects of behaviors. The unifying framework is then used to describe some of the most representative stochastic process algebras. This provides a general and clear support for an understanding of their similarities and differences. The framework is based on State to Function Labeled Transition Systems, FuTSs for short, that are state transition structures where each transition is a triple of the form (s,α,

Item Type: Article
Identification Number: 10.1145/2522968.2522973
Uncontrolled Keywords: Combinatorics; Probability and statistics; Models of computation
Subjects: Q Science > QA Mathematics
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Caterina Tangheroni
Date Deposited: 15 Jun 2015 09:27
Last Modified: 15 Jun 2015 09:27
URI: http://eprints.imtlucca.it/id/eprint/2707

Actions (login required)

Edit Item Edit Item