Nuprl Definition : consensus-message

consensus-message(b;i;z) ==  inr inr <b, i, z>  


Definitions occuring in Statement :  pair: <a, b>,  inr: inr x 
FDL editor aliases :  consensus-message
Latex:
consensus-message(b;i;z)  ==    inr  inr  <b,  i,  z>   


Date html generated: 2016_05_16-PM-00_27_54
Last ObjectModification: 2012_02_25-AM-11_47_18

Theory : event-ordering


Home Index