Loading...
Please wait, while we are loading the content...
Similar Documents
Modeling systems by probabilistic process algebra: an event structures approach (1993).
| Content Provider | CiteSeerX |
|---|---|
| Author | Katoen, Joost-Pieter Langerak, Rom Latella, Diego |
| Abstract | This paper treats a probabilistic version of (a subset of) the process algebra LOTOS. It incorporates a probabilistic choice assigning a probability of occurrence to each of its alternatives. Opposed to the traditional interleaving semantics used for existing probabilistic process algebras the presented language is based on a true concurrency semantics. This enables us to distinguish between nondeterminism and parallelism, to reduce the state explosion problem and, moreover, to analyse part of the system without considering other (irrelevant) parts. In this paper the language is presented and the formal semantics is defined by using an extension of bundle event structures. A short example illustrates the novelties of the language and links the language to stochastic analysis based on semi-Markov chains. |
| File Format | |
| Publisher Date | 1993-01-01 |
| Access Restriction | Open |
| Subject Keyword | Event Structure Probabilistic Process Algebra Presented Language State Explosion Problem Traditional Interleaving Semantics Process Algebra Lotos True Concurrency Semantics Bundle Event Structure Probabilistic Version Short Example Probabilistic Process Probabilistic Choice Stochastic Analysis Semi-markov Chain Formal Semantics |
| Content Type | Text |
| Resource Type | Article |
