Library

eCommons

 

The Logic of Events, a framework to reason about distributed systems

Simple item page
dc.contributor.authorBickford, Mark
dc.contributor.authorConstable, Robert
dc.contributor.authorRahli, Vincent
dc.date.accessioned2012-04-16T12:27:09Z
dc.date.available2012-04-16T12:27:09Z
dc.date.issued2012-01-23
dc.descriptionWe 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.en_US
dc.identifier.urihttps://hdl.handle.net/1813/28695
dc.publisher2012 Languages for Distributed Algorithms (LADA) workshopen_US
dc.relation.hasversionThis was also a position paper at the 2012 Languages for Distributed Algorithms (LADA) workshopen_US
dc.subjectdistributed systemsen_US
dc.subjectformal methodsen_US
dc.subjectspecificationen_US
dc.subjectverificationen_US
dc.titleThe Logic of Events, a framework to reason about distributed systemsen_US
dc.typetechnical reporten_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
The_Logic_of_Events-BCR2012.pdf
Size:
59.38 KB
Format:
Adobe Portable Document Format
Description:
Download

Collections

Computing and Information Science Technical Reports