GenAutomata Sections NuprlLIB Doc

Def Macro x R_del(E) y == (x =msg=(E) y) & is-deliver(E)(x) & (is-send(E)(y)) (is-send(E)(x)) & is-deliver(E)(y)

No mentions to report in GenAutomata.


GenAutomata Sections NuprlLIB Doc