Learning a Value Sample Clauses

Learning a Value. Learning a v-map happens in action Learn. The action is enabled for a learner l once it has received “2b” messages for some round i from a quorum Q of acceptors and message “2a”, c, r, G Nil from every coordinator c in some Gi -coordquorum P for every group G in a (possibly empty) subset γ Γ of the groups that have coordinators in round i. In this case, l calculates the lub of the chosen v-maps based on the received information in order to update its currently learned v-map. Let Q2bVals be the set of all v-maps re- ceived in the “2b” messages for round i from acceptors in Q. The glb of Q2bVals is the chosen v-map identifi- able from the messages in Q2bVals. Hence, the action sets learned [l ] to learned [l ] H (H(Q2bVals • {G ∈ γ '→ Nil})).