A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts.

Davide Basile, Maurice H. ter Beek

Browse the full Coordination paper archive.