DMCA

Observing reductions in nominal calculi via a graphical encoding of processes

Cached

Download Links

by Fabio Gadducci , Ugo Montanari
Venue:Processes, terms and cycles (Klop Festschrift), volume 3838 of LNCS
Citations:11 - 3 self