Slide 1 Algebra of Concurrent Programming Tony Hoare Cambridge 2011 Slide 2 With ideas from Ian Wehrman John Wickerson Stephan van Staden Peter O’Hearn Bernhard Moeller…
