| http://www.w3.org/ns/prov#value | - tracing the execution of concurrent program components to acquire tracing information pertaining thereto, including information pertaining to a synchronization failure resulting from said execution of said concurrent program components; using said tracing information to derive one or more synchronizations for use in selectively controlling a re-execution of said concurrent program components; and
|
