Highly collaborative distributed systems: synthesis and enactment at work - Autili, Marco; Perucci, Alexander; Leite, Leonardo Alexandre Ferreira; Tivoli, Massimo; Kon, Fábio; Di Salle, Amleto (Concurrency and Computation: Practice and Experience, 2021)