Synchronized hyperedge replacement with name mobility: A graphical calculus for name mobility (2001)

by Dan Hirsch, Ugo Montanari
Venue:In CONCUR, volume 2154 of LNCS