ARTS
1999
Springer
13 years 9 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
ARTS
1999
Springer
1999
Springer
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach
13 years 9 months ago
ARTS
1999
Springer
13 years 9 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...