Automated Synthesis of Dynamic and Secured Choreographies for the Future internet

Full project page

Organisations map overview