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