Un modello di comunicazione per la programmazione per esempi in ambiente concorrente