TY  - JOUR
N2  - 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,?,
JF  - ACM Computing Surveys
Y1  - 2013/10//
SN  - 0360-0300
UR  - http://dl.acm.org/citation.cfm?id=2522973
IS  - 1
KW  - Combinatorics; Probability and statistics; Models of computation
AV  - none
ID  - eprints2707
TI  - A uniform definition of stochastic process calculi
SP  - 1
A1  - De Nicola, Rocco
A1  - Latella, Diego
A1  - Loreti, Michele
A1  - Massink, Mieke
VL  - 46
EP  - 35
PB  - ACM
ER  -