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
Conference paper
Publication
27th European Symposium on Programming (ESOP 2018)

Add the full text or supplementary notes for the publication here using Markdown formatting.