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