| http://www.w3.org/ns/prov#value | - When replica Ri produces a checkpoint, it multicasts a <CHECKPOINT,n,d,i> message to the other replicas, where n is the sequence number of the last request whose execution is reflected in the state and d is the digest of the service state.
|
