Parameterized Verification of pi-Calculus Systems.

Ping Yang, Samik Basu, C. R. Ramakrishnan

Browse the full TACAS paper archive.