Equational Properties of Mobile Ambients.

Andrew D. Gordon, Luca Cardelli

Browse the full FOSSACS paper archive.