The Logic of Events, a framework to reason about distributed systems
Permanent Link(s)
Author
Bickford, Mark
Constable, Robert
Rahli, Vincent
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.
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.
Date Issued
2012-01-23
Publisher
2012 Languages for Distributed Algorithms (LADA) workshop
Keywords
Related Version
This was also a position paper at the 2012 Languages for Distributed Algorithms (LADA) workshop
Type
technical report