School of Mathematics

Vincent Danos

Vincent Danos abstract

Vincent Danos, CNRS and Synthsys, UoE

Formal mean field theories for graph rewriting

(joint work with Tobias Heindel, Ricardo Honorato-Zimmer, and Sandro Stucki)

We conjoin ideas from two scientific traditions not seen together often: 1) graph transformation systems (GTS) stemming off of concurrency and formal language theories, and 2) mean field approximations (MFA), a group of techniques used to great effect in statistical physics to obtain simplified descriptions of complex dynamics.