Nuprl Definition : strong-interface-fifo

strong-interface-fifo(es;X;f) ==  ∀e,e':E(X).  ((loc(e) = loc(e') ∈ Id) ⇒ f e ≤loc f e'  ⇒ e ≤loc e' )


Definitions occuring in Statement :  es-E-interface: E(X),  es-le: e ≤loc e' ,  es-loc: loc(e),  Id: Id,  all: ∀x:A. B[x],  implies: P ⇒ Q,  apply: f a,  equal: s = t ∈ T
FDL editor aliases :  strong-interface-fifo
Latex:
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: 2016_05_16-PM-10_14_42
Last ObjectModification: 2012_02_25-PM-01_30_56

Theory : event-ordering


Home Index