PROC reg33_mde ( CHAN OF []BOOL Busin, Busout,
                 CHAN OF BOOL Bitin, Bitout, 
                 CHAN OF ANY Ain, Aout)

  [32]BOOL data:           -- A set of latches
  BOOL bit: 
  SEQ
    PAR
      Busin ? data         
      Bitin ? bit
    WHILE TRUE
      SEQ
        PAR
          Ain ! any
          Busout ! data
          Bitout ! bit
        PAR
          Busin ? data
          Bitin ? bit
          Aout ? any

:






























































