zbMATH — the first resource for mathematics

Performance modelling using probabilistic process algebra. (English) Zbl 0989.68102
Hoare, Tony (ed.) et al., Engineering theories of software construction. Proceedings of the NATO ASI, Marktoberdorf, Germany, July 25 - August 6, 2000. Amsterdam: IOS Press. NATO Sci. Ser. III, Comput. Syst. Sci. 180, 223-257 (2001).
Summary: We present a probabilistic process algebra WSCCS and demonstrate how terminating and non-terminating systems can be analyzed in this context. Methods for approximating both infinite systems and power series are presented the later used to characterize the performance of an alternating bit protocol. We show how arbitrary time distributions can be introduced into such a setting and how they may be abstracted. The relationship between this approach and simulation methods is discussed and a translation from the simulation language DEMOS presented.
For the entire collection see [Zbl 0972.00060].
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)