GitHub repository: sesygroup/choreography-synthesis-enactment
Primary language: Java
Created: 2018-07-19T09:04:05Z
Description: Highly-collaborative distributed systems: synthesis and enactment at work