Incremental messages: micro-kernel services for flexible and efficient management of replicated data | IEEE Conference Publication | IEEE Xplore