“…In practice, an easy way to do so is to lock the whole tuple space. However, by using abstract interpretation techniques on a static code or by using declarations on the vectors employed and by employing the activator vectors of [23], one may slightly relax the global lock by adding locks for super sets of vectors, in the example above to a, b, c and d. This still allows for parallel computations, although to a lesser extend than for Dense Bach.…”