"Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete."

Victor Khomenko, Roland Meyer (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics