logic CASL
spec D =
sort S, T
ops c: S;
d: T
logic CspCASL
spec tcs1 =
data D
process
tcs1: S, T;
tcs1 = c -> SKIP ||d -> SKIP