Typing and Subtyping Mobility in Boxed Ambients.

Massimo Merro, Vladimiro Sassone

Browse the full CONCUR paper archive.