Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
PWL#6 => Peter Alvaro: Using Reasoning about Knowledge to Analyze Distributed Systems #147
Peter Alvaro from UC Berkeley will present the paper "Using Reasoning about Knowledge to Analyze Distributed Systems" by Joseph Halpern.
Please offer up questions, comments, or additional information regarding this paper. For this particular meetup we will try a round of moderated discussions. Pre-submit any topics in this thread.
Thursday, August 21, 2014 - RSVP information here - http://www.meetup.com/papers-we-love-too/events/168821902/
prior Halpern work on knowledge in DS:
Interlandi's work on knowledge-enriched dedalus:
dedalus (background for knowlog, and in case using logic to program distributed systems sounds interesting):
updated knowlog reference: