A Model-Based Synthesis Process for Choreography Realizability Enforcement.

Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli

Browse the full FASE paper archive.