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