The secondment activities concerned the development of a new connection between databases and business processes declarative languages. Notably, it focused on the static properties of a generic mechanism to orthogonally
The work focused on understanding how the use of behavioural types for shared objects and concurrency can help in the context of analysing existing APIs. Particular focus was devoted to