CspCASL/test/test3.csp-casl

	test3.csp-casl revision ac5ec613b786cd05f495b568ab5214c31a333e67
spec Nat =
  free type Nat ::= 0 | suc(Nat)
then
  sort s,t
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::s -> P \ n
   B = |~| x::t -> P[[c]]
   %% Q ; P(c) ; Q ; P(c)
end