748 search results - page 7 / 150 » Time and Probability in Process Algebra |
FCT
1995
Springer
13 years 11 months ago
1995
Springer
REX
1991
13 years 11 months ago
1991
ACS
2011
13 years 2 months ago
2011
We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in...
ICALP
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. Milner proposed an axiomatization for the Kleene star in basic process algebra, in the presence of deadlock and empty process, modulo bisimulation equivalence. In this pa...
FORMATS
2003
Springer
14 years 18 days ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...