9 citations · 11 across the 2 of their papers we have counts for
4 papers
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems
Nicolas Behr, Vincent Danos, Ilias Garnier
We develop a novel method to analyze the dynamics of stochastic rewriting systems evolving over finitary adhesive, extensive categories. Our formalism is based on the so-called rul…
Borel Kernels and their Approximation, Categorically
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier +1
This paper introduces a categorical framework to study the exact and approximate semantics of probabilistic programs. We construct a dagger symmetric monoidal category of Borel ker…
The algebras of graph rewriting
Nicolas Behr, Vincent Danos, Ilias Garnier +1
The concept of diagrammatic combinatorial Hopf algebras in the form introduced for describing the Heisenberg-Weyl algebra in~\cite{blasiak2010combinatorial} is extended to the case…
On the reaction time of some synchronous systems
Ilias Garnier, Christophe Aussaguès, Vincent David +1
This paper presents an investigation of the notion of reaction time in some synchronous systems. A state-based description of such systems is given, and the reaction time of such s…