IEEE Concurrency | IEEE Xplore