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