A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems

Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek
January 2018
Cite DOI URL
Type
1
Publication
27th European Symposium on Programming (ESOP 2018)