Programming language support for writing fault-tolerant distributed software | IEEE Journals & Magazine | IEEE Xplore