| http://www.w3.org/ns/prov#value | - Using any of a variety of methods including direct or indirect access methods, checkpoint controller 543 has access to the state information in each of the processor nodes 531 and 532 (that is, flags, registers, and other information that defines the state of each processor node).
|
