isMsg(e) == e 
Send 
e Rcv
Definitions :
bor: p q,
ses-send: Send,
in-eclass: e X,
ses-rcv: Rcv
FDL editor aliases :
ses-msg
isMsg(e) == e \mmember{}\msubb{} Send \mvee{}\msubb{}e \mmember{}\msubb{} Rcv
Date html generated:
2010_08_28-AM-02_38_29
Last ObjectModification:
2010_02_22-PM-10_31_29
Home
Index