Constraints meet concurrency