CspCASL/test/test3.csp-casl

	test3.csp-casl revision a1f6118e7ce7f8892fc4299e316630ec74083f0a
spec Nat =
  free type Nat ::= 0 | suc(Nat)
then
  sorts t < s
then
  op c:s
end

logic CspCASL

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