Tiles, rewriting rules and CCS (1996)

by F Gadducci, U Montanari
Venue:Rewriting logic and applications, Electronic Notes in Computer Science