On the interleaving semantics of transformation units - a step into GRACE (1996)

by H-J Kreowski, S Kuske
Venue:5th Int. Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94, LNCS 1073, pages 89 -- 106