robust concurrency