PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
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.)


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional