### A uniform definition of stochastic process calculiA uniform definition of stochastic process calculi

Access Restriction
Subscribed

 Author Nicola, Rocco de ♦ Latella, Diego ♦ Loreti, Michele ♦ Massink, Mieke Source ACM Digital Library Content type Text Publisher Association for Computing Machinery (ACM) File Format PDF Copyright Year ©2013 Language English
 Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science Subject Keyword Continuous-time Markov chains ♦ Stochastic process calculi ♦ Structured operational semantics Abstract 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 $(\textit{s},α,𝒫).$ The first and the second components are the source state, $\textit{s},$ and the label, α, of the transition, while the third component is the continuation function, 𝒫, associating a value of a suitable type to each state $\textit{s}'.$ For example, in the case of stochastic process algebras the value of the continuation function on $\textit{s}'$ represents the rate of the negative exponential distribution characterizing the duration/delay of the action performed to reach state $\textit{s}'$ from $\textit{s}.$ We first provide the semantics of a simple formalism used to describe continuous-time Markov chains, then we model a number of process algebras that permit parallel composition of models according to the two main interaction paradigms (multiparty and one-to-one synchronization). Finally, we deal with formalisms where actions and rates are kept separate and address the issues related to the coexistence of stochastic, probabilistic, and nondeterministic behaviors. For each formalism, we establish the formal correspondence between the FuTSs semantics and its original semantics. ISSN 03600300 Age Range 18 to 22 years ♦ above 22 year Educational Use Research Education Level UG and PG Learning Resource Type Article Publisher Date 2013-07-11 Publisher Place New York e-ISSN 15577341 Journal ACM Computing Surveys (CSUR) Volume Number 46 Issue Number 1 Page Count 35 Starting Page 1 Ending Page 35

#### Open content in new tab

Source: ACM Digital Library