Term Graph Rewriting for the pi-Calculus.

Fabio Gadducci

Browse the full APLAS paper archive.