hets/CspCASL/test3.csp-casl

	test3.csp-casl revision e3c9174a782e90f965a0b080c22861c3ef5af12d
library test3

logic CspCASL

spec hugo =
  data

  {    sort s
   then
      op c:s
  }
  channel

      n,m: s;
      k,l: s

  process

   P\s;
   P[[c]]
   %% Q ; P(c) ; Q ; P(c)
end