tcs1.cspcasl revision c01168f53431b6ad785bf8a8b12bd3a60b93b9b4
ccspec tcs1 =
data
sorts S, T
ops c: S; d: T
process
c -> SKIP || d -> SKIP