Journaux

    • Introduction to probabilistic concurrent systems. Fundamenta Informaticae, 187(2-4):71-102, 2022
      Version étendue de l'article Deterministic concurrent systems publié dans la conférence Petri Nets 2021
      DOI - arXiv - PDF - (Afficher/Cacher le résumé) - (Afficher/Cacher les références BibTeX)
    • A spectral property for concurrent systems and some probabilistic applications. Discrete Mathematics, 344(8), 2021. Avec J. Mairesse et Y.-T. Chen.
      DOI - arXiv - PDF - (Afficher/Cacher le résumé) - (Afficher/Cacher les références BibTeX)
    • Markovian dynamics of concurrent systems. Discrete Event Dynamic Systems, 29(4):527-566, 2019.
      DOI - arXiv - PDF - (Afficher/Cacher le résumé) - (Afficher/Cacher les références BibTeX)
    • Asymptotic combinatorics of Artin-Tits monoids and of some other monoids. Journal of Algebra, 525:497-561, 2019. Avec S. Gouëzel, V. Jugé et J. Mairesse.
      DOI - arXiv - PDF - (Afficher/Cacher le résumé) - (Afficher/Cacher les références BibTeX)
    • Synchronization of Bernoulli sequences on shared letters. Information and Computation, 255(1):1-26, 2017.
      DOI - arXiv - PDF - (Afficher/Cacher le résumé) - (Afficher/Cacher les références BibTeX)
    • Uniform measures on braid monoids and dual braid monoids. Journal of Algebra, 473(1):627-666, 2017. Avec S. Gouëzel, V. Jugé et J. Mairesse.
      DOI - arXiv - PDF - (Afficher/Cacher le résumé) - (Afficher/Cacher les références BibTeX)
    • A cut-invariant law of large numbers for random heaps. Journal of Theoretical Probability, 30(4):1692-1725, 2017
      DOI - arXiv - PDF - (Afficher/Cacher le résumé) - (Afficher/Cacher les références BibTeX)
    • Uniform and Bernoulli measures on the boundary of trace monoids. Journal of Combinatorial Theory, Series A 135:201-236, 2015. Avec J. Mairesse.
      DOI - arXiv - PDF - (Afficher/Cacher le résumé) - (Afficher/Cacher les références BibTeX)
    • Markov two-components processes. Logical Methods in Computer Science 9(2:14):1-34, 2013.
      DOI - arXiv - PDF - (Afficher/Cacher le résumé) - (Afficher/Cacher les références BibTeX)
    • On countable completions of quotient ordered semigroups. Semigroup Forum 77(3):482-499, 2008.
      DOI - HAL - PDF - (Afficher/Cacher le résumé) - (Afficher/Cacher les références BibTeX)
    • Probabilistic true-concurrency models: Markov nets and a Law of large numbers. Theoretical Computer Science 390(2-3):129-170, 2008. Avec A. Benveniste.
      DOI - HAL - PDF - (Afficher/Cacher le résumé) - (Afficher/Cacher les références BibTeX)
    • A projective formalism applied to topological and probabilistic event structures. Mathematical Structures in Computer Science 17(4):819-837, 2007.
      DOI - HAL - PDF - (Afficher/Cacher le résumé) - (Afficher/Cacher les références BibTeX)
    • Projective topology on bifinite domains and applications. Theoretical Computer Science 365(3):171-183, 2006. Avec K. Keimel.
      DOI - HAL - PDF - (Afficher/Cacher le résumé) - (Afficher/Cacher les références BibTeX)
    • A Cartesian closed category of event structures with quotients. Discrete Mathematics and Theoretical Computer Science 8(1):249-272, 2006.
      DOI - HAL - PDF - (Afficher/Cacher le résumé) - (Afficher/Cacher les références BibTeX)
    • Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures. Information and Computation 204(2):231-274, 2006. Avec A. Benveniste.
      DOI - HAL - PDF - (Afficher/Cacher le résumé) - (Afficher/Cacher les références BibTeX)

    Publications dans des actes de conférences

    • Convergence of distributions on paths. In H. Fernau and K. Jansen, éditeurs, Fundamentals of Computation Theory (Proccedings of FCT 2023, Trier, Germany), LNCS, volume 14292, p.1-15, 2023
      DOI - (Afficher/Cacher les références BibTeX)
    • Uniform generation of infinite traces. In L. Ferrari et P. Massazza, éditeurs, Pure Mathematics and Applications, volume 30, issue 1, p. 1-7, 2022 (GASCom 2022). Avec V. Jugé
      DOI - arXiv (version étendue) - (Afficher/Cacher les références BibTeX)
    • Deterministic concurrent systems. In D. Buchs and J. Carmona, éditeurs, Application and Theory of Petri Nets and Concurrency. Petri Nets 2021, LNCS 12734, p.423-442. Springer, 2021
      DOI - arXiv - HAL - (Afficher/Cacher les références BibTeX)
    • Toward uniform random generation in 1-safe Petri nets. In J.-M. Fédou et L. Ferrari, éditeurs, Random generation of combinatorial structures - GASCOM 2016, Electronic Notes in Discrete Mathematics, volume 59, p.3-17, 2017.
      DOI - arXiv - HAL - (Afficher/Cacher les références BibTeX)
    • Uniform generation in trace monoids. In G. Italiano, G. Pighizzini and D. Sannella, éditeurs, MFCS 2015, Mathematical Foundations of Computer Science 2015, Part 1, LNCS 9234, p.63-75. Springer, 2015. Avec J. Mairesse.
      DOI - arXiv - (Afficher/Cacher les références BibTeX)
    • Concurrency, sigma-algebras and probabilistic fairness. In L. de Alfaro, éditeur, FOSSACS 2009, 12th Conference on Foundation of Software Science and Computation Structures, member of ETAPS 2009, York (UK), LNCS 5504, p.380-394. Sringer, 2009. Avec A. Benveniste.
      DOI - PDF - (Afficher/Cacher les références BibTeX)
      Version augmentée (2008) : HAL - PDF
    • Branching cells as local states for event structures and nets: probabilistic applications. In V. Sassone, éditeur, FOSSACS 2005, Conference on Foundations of Software Science and Computation Structures, member of ETAPS 2005, Edimbourgh (UK), LNCS 3441, p.95-109. Springer, 2005. Avec A. Benveniste.
      DOI - HAL - PDF - (Afficher/Cacher les références BibTeX)
      Version augmentée : rapport interne IRISA PI 1651, 2004 - Archive IRISA
    • The (true) concurrent Markov property and some applications to Markov nets. In G. Ciardo and P. Darondeau, éditeurs, ICATPN'05, International Conference on Theory and Applications of Petri Nets, Miami (FL, USA), LNCS 3536, p.70-89. Springer, 2005.
      DOI - HAL - PDF - (Afficher/Cacher les références BibTeX)