tcs1.cspcasl revision 05b3e12808da901dccd665715cb934462290d550
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