VAR(N=1) = (write[i:0..N] -> V[i]), V[i:0..N] = (read[i] -> V[i] |write[j:0..N] -> V[j]). // augeschrieben VAR_A = (write[0] -> V[0] |write[1] -> V[1]), V[0] = (read[0] -> V[0] |write[0] -> V[0] |write[1] -> V[1]), V[1] = (read[1] -> V[1] |write[0] -> V[0] |write[1] -> V[1]). //Aufruf des parametrisierten Prozesses, z.B. //||MyVAR = VAR(2).