3 search results - page 1 / 1 » eef 2000 |
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
EEF
2000
13 years 8 months ago
2000
Markovian models have been used for about a century now for the evaluation of the performance and dependability of computer and communication systems. In this paper, we give a conc...
EEF
2000
13 years 8 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...