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