Cross Reference: chanClash.cspcasl
xref: /hets/CspCASL/test/chanClash.cspcasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblettlogic CASL
90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblettspec D =
90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblett sort S, T
90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblett ops c: S;
90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblett d: T
90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblett
90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblettlogic CspCASL
90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblettspec tcs1 =
90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblett data D
90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblett channel x,y:S;
90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblett z:T;
90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblett x:T
90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblett process
90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblett P: S, T
90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblett P = c -> SKIP || d -> SKIP

Indexes created Tue Jul 24 14:28:13 CEST 2018