Nuprl Definition : release-before
(a released before e) == ∃e':E(Send). ((e' <loc e) ∧ e' has* a)
Definitions occuring in Statement :
event-has*: e has* a,
ses-send: Send,
es-E-interface: E(X),
es-locl: (e <loc e'),
exists: ∃x:A. B[x],
and: P ∧ Q
FDL editor aliases :
release-before
Latex:
(a released before e) == \mexists{}e':E(Send). ((e' <loc e) \mwedge{} e' has* a)
Date html generated:
2015_07_23-PM-00_05_57
Last ObjectModification:
2012_08_30-PM-04_22_13
Home
Index