Equational Properties Of Mobile Ambients

Andrew D. Gordon, Luca Cardelli. Equational Properties Of Mobile Ambients. Mathematical Structures in Computer Science, 13(3):371-408, 2003.

Abstract

Abstract is missing.