Index of /cml-short-course/coursedir/lect5

               CML Buffers with Fixed Maximum Lengths,
               Programmed using Selective Communication

buffer.cm

  CM description file

buffer.sig

  signature BUFFER: CML buffers with fixed maximum lengths

buffer.sml

  structure Buffer: CML buffers with fixed maximum lengths

main.sig

  signature MAIN: main processing

main.sml

  structure Main: main processing