tcs1.cspcasl revision 7ae67d07c8b605503c300a7da2d11974a2702904
logic CASL
spec D[sort S] =
sort T
ops c: S; d: T
logic CspCASL
spec tcs1 =
data D[sort U]
process
c -> SKIP || d -> SKIP