A compositional approach to performance modelling
A compositional approach to performance modelling
Modeling and verification of randomized distributed real-time systems
Modeling and verification of randomized distributed real-time systems
Theoretical Computer Science
Clarifying the Priority Specification of GSPN: Detached Priorities
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
Model-Checking Algorithms for Continuous-Time Markov Chains
IEEE Transactions on Software Engineering
Recent Extensions to the Stochastic Process Algebra Tool CASPA
QEST '08 Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
On Probabilistic Automata in Continuous Time
LICS '10 Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer Science
Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
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.