157 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centre National de la Recherche ScientifiqueFR4 papers
- École Normale Supérieure - PSLFR3 papers
- Département d'InformatiqueFR2 papers
- University of EdinburghGB2 papers
- École Normale Supérieure de LyonFR1 paper
- Institut de Recherche en Informatique FondamentaleFR1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- Laboratoire de l'Informatique du ParallélismeFR1 paper
- LIP6FR1 paper
- Sorbonne UniversitéFR1 paper
- Université Paris DiderotFR1 paper
- Université Paris Sciences et LettresFR1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019★ 9 cited
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…
cs.LO2015★ 2 cited
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…