Skip to main content


eCommons@Cornell

eCommons@Cornell >
Faculty of Computing and Information Science >
Computing and Information Science >
Computing and Information Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/28695
Title: The Logic of Events, a framework to reason about distributed systems
Authors: Bickford, Mark
Constable, Robert
Rahli, Vincent
Keywords: distributed systems
formal methods
specification
verification
Issue Date: 23-Jan-2012
Publisher: 2012 Languages for Distributed Algorithms (LADA) workshop
Description: We 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.
Related Version: This was also a position paper at the 2012 Languages for Distributed Algorithms (LADA) workshop
URI: http://hdl.handle.net/1813/28695
Appears in Collections:Computing and Information Science Technical Reports

Files in This Item:

File Description SizeFormat
The_Logic_of_Events-BCR2012.pdf59.38 kBAdobe PDFView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us