---

strong-interface-fifo(es;X;f) ==
  e,e':E(X).  ((loc(e) = loc(e'))  f e loc f e'   e loc e' )

---

Definitions :  all: x:A. B[x],  es-E-interface: E(X),  equal: s = t,  Id: Id,  es-loc: loc(e),  implies: P  Q,  apply: f a,  es-le: e loc e' 
FDL editor aliases :  strong-interface-fifo

---

strong-interface-fifo(es;X;f)  ==    \mforall{}e,e':E(X).    ((loc(e)  =  loc(e'))  {}\mRightarrow{}  f  e  \mleq{}loc  f  e'    {}\mRightarrow{}  e  \mleq{}loc  e'  )


Date html generated: 2010_08_27-PM-02_08_48
Last ObjectModification: 2009_12_16-AM-01_32_12

Home Index