Checking pi-calculus structural congruence is graph isomorphism complete /
Khomenko, Victor.
Meyer, R.(Roland),1981-
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2008.
"May 2008".
Title from cover.
Includes bibliographical references.
Pi-calculus.
Isomorphisms (Mathematics)