A Fully Abstract Encoding for Sub Asynchronous Pi Calculus.

Wenjun Du, Zhengfeng Yang, Huibiao Zhu

Browse the full TASE paper archive.