Proving the Safety of Highly-Available Distributed Objects

von Nair, Sreeja S.
Veröffentlicht in ESOP (29. : 2020 : Online) Programming languages and systems (2020)