Reference : Logic of Events, a framework to reason about distributed systems
Scientific congresses, symposiums and conference proceedings : Unpublished conference
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22664
Logic of Events, a framework to reason about distributed systems
English
Bickford, Mark [> >]
Constable, Robert L. [> >]
Rahli, Vincent mailto [Cornell University > Computer Science Department]
2012
Yes
Languages for Distributed Algorithms Workshop (LADA 2012)
January 2012
http://hdl.handle.net/10993/22664
http://www.nuprl.org/documents/Bickford/LOE-LADA2012.html
Presented at the Languages for Distributed Algorithms Workshop (LADA 2012)

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Logic_of_events_LADA_2012.pdfAuthor preprint59.4 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.