Deriving Structural Labelled Transitions for Mobile Ambients.

Julian Rathke, Pawel Sobocinski

Browse the full CONCUR paper archive.