rcv_rcv{rcv_rcv_compseq_tag_def:o}(t'; l'; t; l) ==
compseq(rcv(l,t) = rcv(l',t'); l = l' 
t = t')
Definitions :
eq_knd: a = b,
rcv: rcv(l,tg),
band: p q,
eq_lnk: a = b,
eq_id: a = b
rcv\_rcv\{rcv\_rcv\_compseq\_tag\_def:o\}(t'; l'; t; l) ==
compseq(rcv(l,t) = rcv(l',t'); l = l' \mwedge{}\msubb{} t = t')
Date html generated:
2010_08_26-PM-11_41_26
Last ObjectModification:
2008_02_27-PM-09_34_03
Home
Index