Assertion: condition | /r/CapableOf | produce deadlock
Facets:
value: on single-instance resource systems
type: LOCATION
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.