Logic of Events, a framework to reason about distributed systems

Unpublished conference/Abstract (Scientific congresses, symposiums and conference proceedings)

Bickford, Mark; Constable, Robert L.; Rahli, Vincent

2012 • Languages for Distributed Algorithms Workshop (LADA 2012)

Permalink
https://hdl.handle.net/10993/22664

Logic_of_events_LADA_2012.pdf

Author preprint (60.82 kB)

All documents in ORBilu are protected by a user license.

Disciplines :

Computer science

Author, co-author :

Bickford, Mark

Constable, Robert L.

Rahli, Vincent ; Cornell University > Computer Science Department

External co-authors :

yes

Language :

English

Title :

Logic of Events, a framework to reason about distributed systems

Publication date :

2012

Event name :

Languages for Distributed Algorithms Workshop (LADA 2012)

Event date :

January 2012

Additional URL :

Commentary :

Presented at the Languages for Distributed Algorithms Workshop (LADA 2012)

Available on ORBilu :

since 30 November 2015

Number of views

62 (2 by Unilu)

Number of downloads

131 (2 by Unilu)