Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster. A Type Theory for Robust Failure Handling in Distributed Systems. Elvira Albert; Ivan Lanese. 36th International Conference on Formal Techniques for Distributed Objects, Component
HAL Archives-Ouvertes,
hal-01432930, version 1 Abstract : This paper presents a formal framework for programming distributed applications capable of…