tcs1.cspcasl
CoreCspCASL
++
ccspec tcs1
data sorts S, T
ops c : S;
d : T
process c -> SKIP || d -> SKIP
end