Nuprl Definition : m_ping_pong_stdma
m_ping_pong_stdma{i:l}(locs;p;threshold) ==
eo.StandardMessageAutomaton(m_ping_pong_main(locs;p;threshold);m_ping_pong_headers_no_inputs())
Definitions occuring in Statement :
m_ping_pong_headers_no_inputs: m_ping_pong_headers_no_inputs(),
m_ping_pong_main: m_ping_pong_main(locs;p;threshold),
std-ma: StandardMessageAutomaton(X;hdrs),
lambda: x.A[x]
FDL editor aliases :
m_ping_pong_stdma
m\_ping\_pong\_stdma\{i:l\}(locs;p;threshold) ==
\mlambda{}eo.StandardMessageAutomaton(m\_ping\_pong\_main(locs;p;threshold);m\_ping\_pong\_headers\_no\_inputs())
Date html generated:
2012_02_20-PM-06_26_12
Last ObjectModification:
2012_02_02-PM-02_49_39
Home
Index