Implementing fault-tolerant distributed applications using objects and multi-coloured actions | IEEE Conference Publication | IEEE Xplore