CspCASL/test/test3.csp-casl

	test3.csp-casl revision a09bfcbcb0fba5663fca1968aa82daebf2e092c4
spec Nat =
  free type Nat ::= 0 | suc(Nat)
then
  sort s
then
  op c:s
end

logic CspCASL

spec hugo = data Nat
  channels
    n,m: s;
    k,l: s
  process
   A : s
   B : s
   A = n!x -> P \ n
   B = P[[c]]
   %% Q ; P(c) ; Q ; P(c)
end