Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

11 résultats
Page :
triés par
Image document

Truly Concurrent Synchronization of Markov Chains

 Samy Abbes , Albert Benveniste
[Research Report] PI 1866, 2007, pp.20
Rapport inria-00175408v1
Image document

Probabilistic model for distributed and concurrent systems. Limit theorems and application to statistical parametric estimation

 Samy Abbes
Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2004. English. ⟨NNT : ⟩
Thèse tel-00007150v2
Image document

Concurrency, sigma-algebras, and probabilistic fairness

 Samy Abbes , Albert Benveniste
[Research Report] RR-6724, INRIA. 2008, pp.24
Rapport inria-00338784v1

A Petri net model for distributed estimation

 Samy Abbes , Albert Benveniste , Stefan Haar
Sixteenth International Symposium on Mathematical Theory of Networks and Systems, 2004, Louvain, Belgium. pp.ISBN 90-5682-517-8
Communication dans un congrès hal-00350939v1
Image document

Application of branching cells to QoS aware service orchestrations

 Albert Benveniste , Claude Jard , Samy Abbes
Theoretical Computer Science, 2014, Models of Interaction: Essays in Honour of Glynn Winskel, 546, ⟨10.1016/j.tcs.2014.02.049⟩
Article dans une revue hal-01158211v2
Image document

True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers

 Samy Abbes , Albert Benveniste
[Research Report] PI 1753, 2005, pp.59
Rapport inria-00000465v1
Image document

Probabilistic true-concurrency models: Markov nets and a Law of large numbers

 Samy Abbes , Albert Benveniste
Theoretical Computer Science, 2008, 390, pp.129-170. ⟨10.1016/j.tcs.2007.09.018⟩
Article dans une revue hal-00349209v1
Image document

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

 Samy Abbes , Albert Benveniste
Information and Computation, 2006, 204 (2), pp.231-274
Article dans une revue hal-00350226v1
Image document

Branching cells as local states for event structures and nets: probabilistic applications

 Samy Abbes , Albert Benveniste
Foundations of Software Science and Computation Structures, Apr 2005, Edinburgh, United Kingdom. pp.95-109
Communication dans un congrès hal-00350930v1
Image document

Branching cells as local states for event structures and nets: probabilistic applications

 Samy Abbes , Albert Benveniste
[Research Report] RR-5347, INRIA. 2004, pp.24
Rapport inria-00070655v1
Image document

Concurrency, sigma-algebras and probabilistic fairness

 Samy Abbes , Albert Benveniste
FOSSACS 2009, Mar 2009, York, United Kingdom. pp.380-394
Communication dans un congrès hal-00267518v4
Page :