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