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