748 search results - page 7 / 150 » Time and Probability in Process Algebra |
FCT
1995
Springer
15 years 1 months ago
1995
Springer
REX
1991
15 years 1 months ago
1991
106
click to vote
ACS
2011
14 years 4 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
15 years 1 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
15 years 2 months 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...