Constraints meet concurrencyACPAuthor: Jacopo MauroSchool: University of BolognaSupervisors: Maurizio GabbrielliGraduated: May 10, 2012