EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 01, 2017
Source ID
10.1016/j.scico.2017.05.009

Entities

People

  • David Guaspari
  • Mark Bickford
  • Robert L. Constable
  • Vincent Rahli

Organizations

  • Defense Advanced Research Projects Agency
  • National Research Fund Luxembourg