f909337bf7012aca169c0b56b89efbd4a310f8daAndy Gimblettlogic CspCASL

f909337bf7012aca169c0b56b89efbd4a310f8daAndy Gimblettspec tcs3 =

4eaeba586d49aa0761ee2bb6d20efba91562cef6Andy Gimblettdata sorts S, T

4eaeba586d49aa0761ee2bb6d20efba91562cef6Andy Gimblett ops f: S ->? T

f909337bf7012aca169c0b56b89efbd4a310f8daAndy Gimblett . forall x: S . not def f(x);

f909337bf7012aca169c0b56b89efbd4a310f8daAndy Gimblettprocess

adce8375991a372444ab995895442dca6faf9677Andy Gimblett tcs3: S, T;

adce8375991a372444ab995895442dca6faf9677Andy Gimblett tcs3 = [] x :: S -> f(x) -> SKIP

adce8375991a372444ab995895442dca6faf9677Andy Gimblett [| T |]

adce8375991a372444ab995895442dca6faf9677Andy Gimblett [] y :: T -> (if def y then SKIP else STOP)