Observational equivalence for synchronized graph rewriting with mobility (2001)

by B König, U Montanari
Venue:In Proc. of TACS, volume 2215 of LNCS