...received
Technically, this means that this property is a
safety
rather than a
liveness
property.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
K. Lano, J. Bicarregui, T. Maibaum, and J. Fiadeiro
Sept. 2, 1997