Assertion: semaphore's implementation | /r/HasProperty | performed in the file
Facets:
Source sentences:
text: All the above implementations are performed in the file