13 citations · 30 across the 5 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2020★ 3 cited
Reversibility and Composition of Rewriting in Hierarchies
Russ Harmer, Eugenia Oshurko
In this paper, we study how graph transformations based on sesqui-pushout rewriting can be reversed and how the composition of rewrites can be constructed. We illustrate how such r…
cs.LO2015
Proceedings Tenth International Workshop on Developments in Computational Models
Ugo Dal Lago, Russ Harmer
This volume contains the papers presented at the Tenth International Workshop on Developments in Computational Models (DCM) held in Vienna, Austria on 13th July 2014, as part of th…
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…