Modal logics for mobile ambients: Semantic reasoning. Unpublished annex to [5 (1999)

by L Cardelli, A D Gordon