GenAutomata
Sections
NuprlLIB
Doc
Def
x delivered at time k ==
(x =msg=(E) tr[k]) &
(is-send(E)(tr[k]))
is mentioned
In prior sections:
mb
hybrid
GenAutomata
Sections
NuprlLIB
Doc
(x =msg=(E) tr[k]) & 
(is-send(E)(tr[k]))