Behavioural theory for mobile ambients