Journal: IEEE Concurrency