DOCUMENT RESOURCES FOR EVERYONE
Documents tagged
Documents Algebra of Concurrent Programming Tony Hoare Cambridge 2011.

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…