380 search results - page 2 / 76 » Process Algebra and Markov Chains |
123
Voted
FORTE
2004
15 years 3 months ago
2004
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
138
click to vote
SIAMSC
2008
15 years 1 months ago
2008
A multilevel adaptive aggregation method for calculating the stationary probability vector of an irreducible stochastic matrix is described. The method is a special case of the ada...
148
Voted
QEST
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...
107
click to vote
TCS
2002
15 years 1 months ago
2002
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...
116
Voted
ARTS
1999
Springer
15 years 6 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...