GenAutomata Sections NuprlLIB Doc

Def asyncR(E) == swap adjacent[loc(E)(x) = loc(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