tcs2.cspcasl revision 197888c54795ec1e79e77289b7e20436a6db74c0
logic CspCASL
spec tcs2 =
data sorts S < T
ops c: S; d: T;
. c = d;
process
tcs2: S, T
tcs2 = c -> SKIP || d -> SKIP