research
∙
02/06/2020
Collaboration vs. choreography conformance in BPMN
The BPMN 2.0 standard is a widely used semi-formal notation to model fro...
share
research
∙
12/03/2019
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
We review some results regarding specification, programming and verifica...
research
∙
08/27/2018
