Constraints Meet Concurrency - Mauro, Jacopo (Atlantis Press, 2014)