Constraints meet concurrency

Related