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