Search

• < Previous
• 1
• Next >

---

Rule Algebras for Adhesive Categories

Nicolas Behr ; Pawel Sobocinski.

We demonstrate that the most well-known approach to rewriting graphical structures, the Double-Pushout (DPO) approach, possesses a notion of sequential compositions of rules along an overlap that is associative in a natural sense. Notably, our results hold in the general setting of&nbsp;[&hellip;]

---

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 rule algebra framework and exhibits an intimate relationship between the combinatorics of the rewriting rules (as encoded&nbsp;[&hellip;]

---