.:. Consultation > Par auteur > Abbes .:.

10 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Concurrency, sigma-algebras and probabilistic fairness Abbes S., Benveniste A. Dans FOSSACS 2009 5504 (2009) 380-394 [hal-00267518 - version 4]

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]

Concurrency, sigma-algebras, and probabilistic fairness Abbes S., Benveniste A. N° RR-6724 (2008) [inria-00338784 - version 1]

Truly Concurrent Synchronization of Markov Chains Abbes S., Benveniste A. N° PI 1866 (2007) [inria-00175408 - version 1]

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]

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]

True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers Abbes S., Benveniste A. N° PI 1753 (2005) [inria-00000465 - version 1]

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 (14/10/2004), Benveniste Albert (Dir.) [tel-00007150 - version 2]

A Petri net model for distributed estimation Abbes S., Benveniste A., Haar S. Dans Sixteenth International Symposium on Mathematical Theory of Networks and Systems (2004) ISBN 90-5682-517-8 [hal-00350939 - version 1]

Branching cells as local states for event structures and nets: probabilistic applications Abbes S., Benveniste A. N° RR-5347 (2004) [inria-00070655 - version 1]