This paper proposes a partial-order semantics for a stochastic process algebra that supports general (non-mcmoryless) distributions and combines this with an approach to numerically analyse the first passage time of an event. Based on an adaptation of McMillan's complete finite prefix approach tailored to event structures and process algebra, finite representations are obtained for recursive processes. The behaviour between two events is now captured by a partial order that is mapped on a stochastic task graph, a structure amenable to numerical analysis. Our approach is supported by the (new) tool Forest for generating the complete prefix and the (existing) tool Pepp for analysing the generated task graph. As a case study, the delay of the first resolution in the root contention phase of the IEEE 1394 serial bus protocol is analysed. © Springer-Vorlag Berlin Heidelberg 2001.
CITATION STYLE
Ruys, T. C., Langerak, R., Katoen, J. P., Latella, D., & Massink, M. (2001). First passage time analysis of stochastic process algebra using partial orders. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2031 LNCS, pp. 220–235). Springer Verlag. https://doi.org/10.1007/3-540-45319-9_16
Mendeley helps you to discover research relevant for your work.