Slide 1Laws of concurrent design Tony Hoare Microsoft ResearchCambridge FMCAD 2012 23 October Slide 2 Summary What are they? Are they useful? Are they true? Are they beautiful?…