157 citations · 439 across the 16 of their papers we have counts for
5 papers · 1 filter
Rate Equations for Graphs
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer +1
In this paper, we combine ideas from two different scientific traditions: 1) graph transformation systems (GTSs) stemming from the theory of formal languages and concurrency, and 2…
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…
Thermodynamic graph-rewriting
Vincent Danos, Russell Harmer, Ricardo Honorato-Zimmer
We develop a new thermodynamic approach to stochastic graph-rewriting. The ingredients are a finite set of reversible graph-rewriting rules called generating rules, a finite set of…
Equilibrium and Termination
Vincent Danos, Nicolas Oury
We present a reduction of the termination problem for a Turing machine (in the simplified form of the Post correspondence problem) to the problem of determining whether a continuou…