Constraints meet concurrency - Mauro, Jacopo. (Atlantis Press,, 2014)