Title : EventML: Specification, Verification, and Implementation of Crash-Tolerant State Machine Replication Systems
Language : English
Author, co-author : Rahli, Vincent [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Guaspari, David [> >]
Bickford, Mark [> >]
Constable, Robert [> >]
Publication date : 2017
Journal title : Science of Computer Programming
Publisher : Elsevier Science
Peer reviewed : Yes (verified by ORBilu )
ISSN : 0167-6423
Permalink : http://hdl.handle.net/10993/33892
DOI : 10.1016/j.scico.2017.05.009
FnR project : FnR ; FNR8149128 > Paulo Esteves-VerĂssimo > IISD > Strategic Rtnd Program On Information Infrastructure Security And Dependability > 01/01/2015 > 31/12/2019 > 2014