Nuprl Definition : ses-msg
isMsg(e) ==  e ∈b Send ∨be ∈b Rcv
Definitions occuring in Statement : 
ses-rcv: Rcv
, 
ses-send: Send
, 
in-eclass: e ∈b X
, 
bor: p ∨bq
FDL editor aliases : 
ses-msg
Latex:
isMsg(e)  ==    e  \mmember{}\msubb{}  Send  \mvee{}\msubb{}e  \mmember{}\msubb{}  Rcv
Date html generated:
2016_05_17-PM-00_29_03
Last ObjectModification:
2012_08_30-PM-04_26_57
Theory : event-logic-applications
Home
Index