Rewriting rules and CCS (1996)

by F Gadducci, U Montanari
Venue:in Proceeding WRLA'96