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

Davide Basile Maurice H. ter Beek

Published in: COORDINATION (2021)

Keyphrases

efficient implementation
supply chain
active set
hardware implementation
program synthesis
efficient processing
functional programs
objective function
signal processing
data clustering
moral hazard