linear concurrency