Return to Article Details True concurrency can be traced Download Download PDF