CspCASL/test/test3.csp-casl

	test3.csp-casl revision a731366827a80af216ce6bfd4aa6388260577791
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::t -> P \ n
   B = |~| x::t -> P[[c]]
   %% Q ; P(c) ; Q ; P(c)
end