HAL : hal-00350226, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Information and Computation 204, 2 (2006) 231-274

Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures

Samy Abbes 1, Albert Benveniste 2

(02/2006)

This paper is devoted to probabilistic models for concurrent systems under their true-concurrency seman- tics. 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.

1 :	Preuves, Programmes et Systèmes (PPS)
	CNRS : UMR7126 – Université Paris VII - Paris Diderot
2 :	DISTRIBCOM (INRIA - IRISA)
	CNRS : UMR6074 – INRIA – École normale supérieure de Cachan - ENS Cachan – INSA Rennes – Université de Rennes 1

Domaine

:

Informatique/Réseaux et télécommunications

Mots Clés : Probabilistic event structure – measure extension theorem – branching cell

hal-00350226, version 1

http://hal.archives-ouvertes.fr/hal-00350226

oai:hal.archives-ouvertes.fr:hal-00350226

Contributeur : Samy Abbes <>

Soumis le : Mardi 6 Janvier 2009, 11:37:31

Dernière modification le : Mardi 6 Janvier 2009, 11:42:44