Bickford, MarkConstable, RobertRahli, Vincent2012-04-162012-04-162012-01-23https://hdl.handle.net/1813/28695We present a logical framework to reason about distributed systems called the Logic of Events. This logic has been formalized in Nuprl. We developed a suite of tools and tactics in Nuprl to reason about event classes. We also developed a programming language called EventML which allows programmers to write specifications of distributed protocols.distributed systemsformal methodsspecificationverificationtechnical report