Assertion: condition | /r/HasProperty | sufficient to produce a deadlock
Facets:
Source sentences:
text: While these conditions are sufficient to produce a deadlock on single-instance resource systems, they only indicate the possibility of deadlock on systems having multiple instances of resources.