tcs1.cspcasl revision 04ceed96d1528b939f2e592d0656290d81d1c045
logic CASL
spec D[sort S] =
sort T
ops c: S; d: T
logic CspCASL
spec tcs1 =
data D[sort U]
process
tcs1 = c -> SKIP || d -> SKIP