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]

Abstract

Abstract is missing.