GenAutomata Sections NuprlLIB Doc

Def delayableR(E) == swap adjacent[(x =msg=(E) y) & (is-send(E)(x)) & (is-send(E)(y)) (is-send(E)(x)) & (is-send(E)(y))]

is mentioned

In prior sections: mb hybrid


GenAutomata Sections NuprlLIB Doc