Thermodynamic graph-rewriting (2013)

by Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer
Venue:In CONCUR 2013–Concurrency Theory