Synthesising Choreographies from Local Session Types (extended version)

Julien Lange Emilio Tuosto

Published in: CoRR (2012)

Keyphrases

genetic algorithm
multiple types
preprocessing
machine learning
feature extraction
data structure
lower bound
special case