http://www.w3.org/ns/prov#value | - If the process performed a V instruction on a semaphore 1600 of the type without a message, i.e. the process has finished using the resource and has a signal indicating such which it wants to deliver to the semaphore, the SCT field would again be tested to determine the status of the semaphore.
|