Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes

Cloth, Lucia and Bohnenkamp, Henrik and Haverkort, Boudewijn (2001) Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. In: Joint International Workshop Process Algebra and Probabilistic Models and Performance Modeling and Verification, PAPM-PROBMIV, September 12–14, 2001, Aachen, Germany.

PDF
Restricted to UT campus only: Request a copy
233Kb

Abstract:	In this paper, the concept of complete finite prefixes for process algebra expressions is extended to stochastic models. Events are supposed to happen after a delay that is determined by random variables assigned to the preceding conditions. Max-plus algebra expressions are shown to provide an elegant notation for stochastic prefixes not containing any decisions. Furthermore, they allow for the computation of performance measures. The derivation of the so called k-th occurrence times is shown in detail.
Item Type:	Conference or Workshop Item
Copyright:	© 2001 Springer
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Design and Analysis of Communication Systems (DACS)
Link to this item:	http://purl.utwente.nl/publications/63634
Official URL:	http://dx.doi.org/10.1007/3-540-44804-7_10
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page