3 citations · 5 across the 3 of their papers we have counts for
3 papers
The Combinatorics of Barrier Synchronization
Olivier Bodini, Matthieu Dien, Antoine Genitrini +1
In this paper we study the notion of synchronization from the point of view of combinatorics. As a first step, we address the quantitative problem of counting the number of executi…
A Quantitative Study of Pure Parallel Processes
Olivier Bodini, Antoine Genitrini, Frédéric Peschanski
In this paper, we study the interleaving -- or pure merge -- operator that most often characterizes parallelism in concurrency theory. This operator is a principal cause of the so-…
A Decidable Characterization of a Graphical Pi-calculus with Iterators
Frédéric Peschanski, Hanna Klaudel, Raymond Devillers
This paper presents the Pi-graphs, a visual paradigm for the modelling and verification of mobile systems. The language is a graphical variant of the Pi-calculus with iterators to…