Nuprl Definition : event-caused-by
e2 caused by e1 in S == ∃delay:ℤ. make-msg-interface(delay;loc(e2);info(e2)) ∈ S(e1)
Definitions occuring in Statement :
make-msg-interface: make-msg-interface(i;l;m),
msg-interface: Interface,
classrel: v ∈ X(e),
es-info: info(e),
es-loc: loc(e),
exists: ∃x:A. B[x],
int: ℤ
FDL editor aliases :
initial-event-caused-by
Latex:
e2 caused by e1 in S == \mexists{}delay:\mBbbZ{}. make-msg-interface(delay;loc(e2);info(e2)) \mmember{} S(e1)
Date html generated:
2016_05_17-AM-09_04_09
Last ObjectModification:
2013_03_08-AM-11_57_22
Theory : messages
Home
Index