4 citations · 6 across the 6 of their papers we have counts for
4 papers · 1 filter
Deterministic concurrent systems
Samy Abbes
We introduce deterministic concurrent systems as a subclass of concurrent systems. Deterministic concurrent system are "locally commutative" concurrent systems. We prove that irred…
Uniform generation of infinite concurrent runs: the case of trace monoids
Samy Abbes, Vincent Jugé
We introduce an algorithm for the uniform generation of infinite runs in concurrent systems under a partial order probabilistic semantics. We work with trace monoids as concurrency…
A Graded Möbius transform and its harmonic interpretation
Samy Abbes
We give a graded version of the Möbius inversion formula in the framework of trace monoids. The formula is based on a graded version of the Möbius transform, related to the notion…
A cut-invariant law of large numbers for random heaps
Samy Abbes
Heap monoids equipped with Bernoulli measures are a model of probabilistic asynchronous systems. We introduce in this framework the notion of asynchronous stopping time, which is a…