Checking -Calculus Structural Congruence is Graph Isomorphism Complete Victor Khomenko 1 and Roland Meyer 2 1 School of Computing Science, Newcastle.
R OLE OF C YNLIN -D EPENDENT K INASES I NHIBITORS IN C ELL G ROWTH R EGULATION AND C ANCER Thanh-Binh Nancy Le.
Checking - Calculus Structural Congruence is Graph Isomorphism Complete
A Polynomial Translation of - Calculus (FCP) to Safe Petri Nets