Fingerprint
Dive into the research topics of 'EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems
Vincent Rahli, David Guaspari, Mark Bickford, Robert L. Constable
Research output: Contribution to journal › Article › peer-review
2
Citations
(Scopus)