to develop a parallel algorithm from 2 elements in a x-u axis for xa and ub. To convert index a and index b to a Z's quantised vector. Next, we have to compute the upper bound and reachable set for the 2 dimension graph. Set the new coordinates as xl and uh. Save the new coordinates to the abstraction memory. to explain complexity of each command