Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude.

Wanling Xie, Huibiao Zhu, Min Zhang, Gang Lu, Yucheng Fang

Browse the full COMPSAC paper archive.