tcs2.cspcasl
CoreCspCASL
++
data sort S < T
ops c : S;
d : T
. c = d
process c -> SKIP || d -> SKIP
end