A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution.

Ping Yang, C. R. Ramakrishnan, Scott A. Smolka

Browse the full VMCAI paper archive.