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