A Provably Correct Compiler for Efficient Model Checking of Mobile Processes.

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

Browse the full PADL paper archive.