algorithms for concurrency 2613533