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

Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek

Browse the full ESOP paper archive.