---

(a released before e) ==  e':E(Send). ((e' <loc e)  e' has* a)

---

Definitions :  exists: x:A. B[x],  es-E-interface: E(X),  ses-send: Send,  and: P  Q,  es-locl: (e <loc e'),  event-has*: e has* a
FDL editor aliases :  release-before

---

(a  released  before  e)  ==    \mexists{}e':E(Send).  ((e'  <loc  e)  \mwedge{}  e'  has*  a)


Date html generated: 2010_08_28-AM-02_08_57
Last ObjectModification: 2010_02_22-PM-03_55_16

Home Index