| http://www.w3.org/ns/prov#value | - m the first instruction set, each first code instruction having a corresponding granular sequence of second code instructions wherein said second code instructions include at least two group of said second code instructions, said two groups including a first group and a second group, said first group including second code instructions other than state update instructions which can be aborted durin
|
