*** This version of Confluence is for testing only and contains a copy of content from June 29th 2026. No changes will be preserved. ***
-
Created by
Jim Entwood, last updated on Feb 03, 2012
1 minute read
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