33872 articles – 26723 Notices  [english version]
.:. Consultation > Par auteur > Abbes .:.
11 documents classés par :
1 - 2 Page Suivante Page Finale
fulltext access Branching Cells for Asymetric Event Structures
Benveniste A., Jard C., Abbes S.
(2013-04-19) [hal-00840364 - version 1]
fulltext access Concurrency, sigma-algebras and probabilistic fairness
Abbes S., Benveniste A.
Dans FOSSACS 2009 5504 (2009) 380-394 [hal-00267518 - version 4]
fulltext access Probabilistic true-concurrency models: Markov nets and a Law of large numbers
Abbes S., Benveniste A.
Theoretical Computer Science 390 (2008) 129-170 [hal-00349209 - version 1]
fulltext access Concurrency, sigma-algebras, and probabilistic fairness
Abbes S., Benveniste A.
N° RR-6724 (2008) [inria-00338784 - version 1]
fulltext access Truly Concurrent Synchronization of Markov Chains
Abbes S., Benveniste A.
N° PI 1866 (2007) [inria-00175408 - version 1]
fulltext access Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures
Abbes S., Benveniste A.
Information and Computation 204, 2 (2006) 231-274 [hal-00350226 - version 1]
fulltext access Branching cells as local states for event structures and nets: probabilistic applications
Abbes S., Benveniste A.
Dans Foundations of Software Science and Computation Structures 3441 (2005) 95-109 [hal-00350930 - version 1]
fulltext access True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers
Abbes S., Benveniste A.
N° PI 1753 (2005) [inria-00000465 - version 1]
fulltext access Modèle probabiliste de systèmes distribués et concurrents. Théorèmes limite et application à l'estimation statistique de paramètres
Abbes S.
Université Rennes 1 (2004-10-14), Benveniste Albert (Dir.) [tel-00007150 - version 2]
A Petri net model for distributed estimation
Abbes S., Benveniste A., Haar S.
In Sixteenth International Symposium on Mathematical Theory of Networks and Systems (2004) ISBN 90-5682-517-8 [hal-00350939 - version 1]