Abstract | ||
---|---|---|
Whenever a process algebra uses weights for specifying probabilities, it is desirable that the rescaling of a submodel's weights by a constant factor does not affect the resulting overall model. A classical weighted approach, which is independent of rescaling weights in submodels, is the WSCCS approach by Tofts. The stochastic process algebra CASPA also uses weights, but the results are in general not independent of rescaling the submodels' weights. This paper develops necessary and sufficient criteria for CASPA models to be independent of rescalings. In addition to the general notion of scale-freeness, weaker notions that do not regard vanishing states or target on certain measures are also considered. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-36781-6_4 | EPEW/UKPEW |
Keywords | Field | DocType |
constant factor,overall model,stochastic process algebra,process algebra,classical weighted approach,weighted immediate action,certain measure,rescaling weight,caspa model,wsccs approach,general notion,scale free | Stochastic process algebra,Discrete mathematics,Algebra,Process calculus,Mathematics | Conference |
Citations | PageRank | References |
0 | 0.34 | 14 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Johann Schuster | 1 | 28 | 3.69 |
Markus Siegle | 2 | 376 | 32.29 |