EventML: Specification, Verification, and Implementation of Crash-Tolerant State Machine Replication Systems

Rahli, Vincent; Guaspari, David; Bickford, Mark; Constable, Robert

doi:10.1016/j.scico.2017.05.009

Download

Article (Scientific journals)

EventML: Specification, Verification, and Implementation of Crash-Tolerant State Machine Replication Systems

Rahli, Vincent; Guaspari, David; Bickford, Mark et al.

2017 • In Science of Computer Programming

Peer Reviewed verified by ORBi

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

DOI
10.1016/j.scico.2017.05.009

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

two-thirds-consensus-journal.pdf

Author preprint (508.92 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Author, co-author :

Rahli, Vincent ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Guaspari, David

Bickford, Mark

Constable, Robert

External co-authors :

yes

Language :

English

Title :

EventML: Specification, Verification, and Implementation of Crash-Tolerant State Machine Replication Systems

Publication date :

2017

Journal title :

Science of Computer Programming

ISSN :

0167-6423

Publisher :

Elsevier Science

Peer reviewed :

Peer Reviewed verified by ORBi

FnR Project :

FNR8149128 - Strategic Rtnd Program On Information Infrastructure Security And Dependability, 2014 (01/01/2015-31/12/2021) - Marcus Völp

Available on ORBilu :

since 10 January 2018

Statistics

Number of views

78 (4 by Unilu)

Number of downloads

336 (1 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

WoS citations^™