Constraints meet concurrency (2014)