Nuprl Definition : csm-sends
csm-sends(sm;i;j;a;b;c) == let C,M,A,B,G,Init,Nxt,Msg = sm in (G i j) ∧b can-apply(Msg i j a b;c)
Definitions occuring in Statement :
spreadn: spread8,
can-apply: can-apply(f;x),
band: p ∧b q,
apply: f a
Definitions occuring in definition :
spreadn: spread8,
band: p ∧b q,
can-apply: can-apply(f;x),
apply: f a
FDL editor aliases :
csm-sends
Latex:
csm-sends(sm;i;j;a;b;c) == let C,M,A,B,G,Init,Nxt,Msg = sm in (G i j) \mwedge{}\msubb{} can-apply(Msg i j a b;c)
Date html generated:
2016_05_15-PM-05_11_28
Last ObjectModification:
2015_09_23-AM-07_52_14
Theory : general
Home
Index