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

Reference : EventML: Specification, Verification, and Implementation of Crash-Tolerant State Mach...


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/33892

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 ORBi^lu)
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

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	two-thirds-consensus-journal.pdf		Author preprint	496.99 kB	View/Open

All documents in ORBi^lu are protected by a user license.