True Concurrency and Atomicity