e1 
e2 == ((fst(e1)) = (fst(e2))) c
fst(snd(e1)) loc fst(snd(e2))
Definitions :
cand: A c B,
equal: s = t,
event_ordering: EO,
es-le: e loc e' ,
pi1: fst(t),
pi2: snd(t)
FDL editor aliases :
poss-le
e1 \mleq{} e2 == ((fst(e1)) = (fst(e2))) c\mwedge{} fst(snd(e1)) \mleq{}loc fst(snd(e2))
Date html generated:
2010_08_27-AM-09_31_25
Last ObjectModification:
2010_01_07-PM-01_01_09
Home
Index