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.