mungob

Mungo with Behavioural Separation

We illustrate the Mungo prototype with support for behavioural separation, and shows how behavioural separation helps writing more concise protocols