Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
Cloth, L. and Bohnenkamp, H.C. and Haverkort, B.R.H.M.
(2001)
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes.
In: Process Algebra and Probabilistic Models, Performance Modeling and Verification, 2001, Aachen, Germany.
pp. 152-167.
Lecture Notes in Computer Science 2165.
ISBN 3-540-42556-X
Full text available as:
Official URL: http://dx.doi.org/10.1007/3-540-44804-7_10 AbstractIn 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.
Export this item as: To correct this item please ask your editor Repository Staff Only: edit this item |
|
|
||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||
