How To Prove Concurrency