A redundant nested invocation suppression mechanism for active replication fault-tolerant Web service | IEEE Conference Publication | IEEE Xplore