Synchronized Hyperedge Replacement with Name Mobility.

Dan Hirsch, Ugo Montanari

Browse the full CONCUR paper archive.