Nuprl Lemma : m_ping_pong_P_wf

[locs:bag(Id)]. [threshold:].  (m_ping_pong_P(locs;threshold)  EClass'(Id  Message))


Proof not projected

Error : references
\mforall{}[locs:bag(Id)].  \mforall{}[threshold:\mBbbZ{}].    (m\_ping\_pong\_P(locs;threshold)  \mmember{}  EClass'(Id  \mtimes{}  Message))


Date html generated: 2012_02_20-PM-07_51_05
Last ObjectModification: 2012_02_02-PM-02_48_58

Home Index