Home | Archive

Gadducci , Term Graph Rewriting for the π-Calculus