Choreographies for Distributed Systems: Reasoning, Expressivity, and Development

Full project page

Organisations map overview