Nuprl Definition : max_exch_messages-delivered
max_exch_messages-delivered{i:l}(A;B) == 
eo.messages-delivered{i:l}(eo;max_exch_main(A;B))
Definitions occuring in Statement :
max_exch_main: max_exch_main(A;B),
messages-delivered: messages-delivered{i:l}(es;X),
lambda: x.A[x]
FDL editor aliases :
max_exch_messages-delivered
max\_exch\_messages-delivered\{i:l\}(A;B) == \mlambda{}eo.messages-delivered\{i:l\}(eo;max\_exch\_main(A;B))
Date html generated:
2012_02_20-PM-05_18_14
Last ObjectModification:
2012_02_17-PM-03_06_21
Home
Index