Assertion: semaphore's state | /r/HasProperty | lf
Facets:
Source sentences:
text: For the sending side of the protocol, this state includes variables LAR and LFS, as described earlier in this section, as well as a queue that holds frames that have been transmitted but not yet acknowledged (sendQ ).