Latella D., Loreti M., Massink M. Notes on non-Markovian Extension of Value Passing CCS. Technical report, 2008. |

Abstract (English) |
We define a non-Markovian extension of Value Passing CCS, based on PH-distributions. The approach consists in describing the execution time of each action with a PH-distribution, i.e. by associating a finite CTMC with a terminal, absorbing, state to each action of a process. Such CTMC characterises a random variable, namely the time needed to go from the initial state to the final one. It is well known that such distributions can be used for approximating, ideally, any general distribution and are closed under max. The choice of a CCS-like pattern of interaction is motivated by the fact that we are interested in service-oriented computing models and many process calculi for service-oriented computing are based on such a pattern of interaction. | |

Subject | Stochastic Process aAlgebra Value Passing CCS PH-Distributions 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.) |

1) Download Document PDF |

Open access Restricted Private