380 search results - page 1 / 76 » Process Algebra and Markov Chains |
EEF
2000
13 years 8 months ago
2000
This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides
CONCUR
2001
Springer
13 years 9 months ago
2001
Springer
FMCO
2009
Springer
13 years 2 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
EPEW
2008
Springer
13 years 6 months ago
2008
Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...
SCP
2000
13 years 4 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...