DMCA

Checking pi-calculus structural congruence is graph isomorphism complete (2008)

by V. Khomenko , R. Meyer
Citations:3 - 0 self