Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migrated to Confluence 4.0

The PRL Team, lead by Mark Bickford, presented at the recent LADA workshop in Philadelphia. Slides and the position paper titled The Logic of Events, a framework to reason about distributed systems have been posted to the nuprl site.

The links are available from: http://www.nuprl.org/documents/Bickford/LOE-LADA2012.html