Papers


Journal Papers

A Logical Encoding of the Pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution , by P. Yang, C.R. Ramakrishnan and S. A. Smolka, International Journal on Software Tools for Technology Transfer, 6(1), pages 38--66, June 2004, © Springer-Verlag. [abstract| bibtex| pdf]

Referreed ConferencePapers

Parameterized Verification of Pi-Calculus Systems, by P. Yang, S. Basu and C.R.Ramakrishnan, to appear, 12th. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Vienna, Austria, © Springer-Verlag, 2006. [abstract| bibtex| pdf] (The detailed technical report will be available soon)

A Provably Correct Compiler for Efficient Model Checking of Mobile Processes, by P. Yang, Y. Dong, C.R. Ramakrishnan and S. A. Smolka, Seventh International Symposium on Practical Aspects of Declarative languages, pages 113-127, © Springer-Verlag, 2005 (Most Practical Paper Award). [abstract| bibtex| pdf]

A Logical Encoding of the Pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution, by P. Yang, C.R. Ramakrishnan and S. A. Smolka, Fourth International Conference on Verification, Model Checking and Abstract Interpretation, pages 116-131, © Springer-Verlag, 2003. [abstract| bibtex| ps]