Concurrent Graph and Term Graph Rewriting (1996)

by A Corradini
Venue:Proceedings CONCUR’96, volume 1119 of LNCS