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 Size Format The_Logic_of_Events-BCR2012.pdf 59.38 kB Adobe PDF View/Open

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