Nuprl Definition : m_ping_pong_main
m_ping_pong_main(locs;p;threshold) == m_ping_pong_P(locs;threshold)@{p} || m_ping_pong_ReplyToPing()@locs
Definitions occuring in Statement :
m_ping_pong_ReplyToPing: m_ping_pong_ReplyToPing(),
m_ping_pong_P: m_ping_pong_P(locs;threshold),
class-at: X@locs,
parallel-class: X || Y,
single-bag: {x}
FDL editor aliases :
m_ping_pong_main
m\_ping\_pong\_main(locs;p;threshold) ==
m\_ping\_pong\_P(locs;threshold)@\{p\} || m\_ping\_pong\_ReplyToPing()@locs
Date html generated:
2012_02_20-PM-06_25_26
Last ObjectModification:
2012_02_02-PM-02_49_13
Home
Index