Back to Search
Start Over
True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
- Source :
-
Information & Computation . Feb2006, Vol. 204 Issue 2, p231-274. 44p. - Publication Year :
- 2006
-
Abstract
- Abstract: This paper is devoted to probabilistic models for concurrent systems under their true-concurrency semantics. Here we address probabilistic event structures. We consider a new class of event structures, called locally finite, that extend confusion-free event structure. In locally finite event structures, maximal configurations can be tiled with branching cells: branching cells are minimal and finite sub-structures capturing the choices performed while scanning a maximal configuration. The probabilistic event structures that we introduce have the property that “concurrent processes are independent in the probabilistic sense.” [Copyright &y& Elsevier]
Details
- Language :
- English
- ISSN :
- 08905401
- Volume :
- 204
- Issue :
- 2
- Database :
- Academic Search Index
- Journal :
- Information & Computation
- Publication Type :
- Academic Journal
- Accession number :
- 19391698
- Full Text :
- https://doi.org/10.1016/j.ic.2005.10.001