Nisse Husberg

• High level distributed transition systems in categories