https://123dok.net/document/q2n5896q-behavioural-theory-for-mobile-ambients.html