U.: Observing reductions in nominal calculi via a graphical encoding of processes (2005)

by F Gadducci, Montanari
Venue:In: Processes, Terms and Cycles. Volume 3838 of LNCS