PWLSF - 08/2014 - Peter Alvaro: Using Reasoning about Knowledge to Analyze Distrtibuted Systems
User PapersWeLove on YouTube,
Peter Alvaro from UC Berkeley will present the paper "Using Reasoning about Knowledge to Analyze Distributed Systems" by Joseph…