FT-Linda: a coordination language for programming distributed fault-tolerance | IEEE Conference Publication | IEEE Xplore