| http://www.w3.org/ns/prov#value | - If (at block 370) the process ID was for a read request, then control proceeds to block 372 to attempt to remove the corresponding reader entry in the reader list 92; otherwise, if the request was a write, control ends (at block 384) by returning dequeue success to the calling process/thread.
|
