Transparent object replication: a formal model | IEEE Conference Publication | IEEE Xplore