Applying a testing approach to the Calculus of Fair Ambients

Xiaojuan Cai, Han Zhu. Applying a testing approach to the Calculus of Fair Ambients. Int. J. Comput. Math., 86(12):2040-2060, 2009. [doi]

Authors

Xiaojuan Cai

This author has not been identified. Look up 'Xiaojuan Cai' in Google

Han Zhu

This author has not been identified. Look up 'Han Zhu' in Google