c is NOT compositional T1CS1 T2CS2 W.r.t. parallel composition: T1I T2 Sl S2 T S: local ti x+十 t xi print(x )i x=t+1; print( x)i We have T cs, since output(T)c output(s) but we do not have TT C sIIs is NOT compositional w.r.t. parallel composition: T1  S1 T2  S2 T1 || T2  S1 || S2  T: local t; t = x; x = t + 1; print( x ); S: x++; print( x ); We have T  S, since output(T)  output(S) ; but we do not have T||T  S||S