Engineering Distributed Systems that We Can Trust (and Also Run)

DOI10.1145/3293611.3338839MaRDI QIDQ5145226zbMATH OpenOpenAlexWikidataFDO

Authors Ilya Sergey

Publication date 20 January 2021

Published in Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3293611.3338839

zbMATH Keywords

verificationmodularitydistributed systemsformal methodsproofs

Mathematics Subject Classification ID

Distributed algorithms (68W15) Distributed systems (68M14)

This page was built for publication: Engineering Distributed Systems that We Can Trust (and Also Run)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145226)