Nuprl Definition : es-locl
(e <loc e') == (loc(e) = loc(e') ∈ Id) ∧ (e < e')
Definitions occuring in Statement :
es-causl: (e < e'),
es-loc: loc(e),
Id: Id,
and: P ∧ Q,
equal: s = t ∈ T
FDL editor aliases :
es-locl
es-locl
Latex:
(e <loc e') == (loc(e) = loc(e')) \mwedge{} (e < e')
Date html generated:
2016_05_16-AM-09_17_24
Last ObjectModification:
2013_03_25-PM-01_45_38
Theory : new!event-ordering
Home
Index