Grid Protocol Specifications

                      Jan A. Bergstra
                        Alban Ponse
 
A grid protocol models concurrent computation, and consists of one or
more modules repeatedly performing parallel I/O and computation.  We
provide several concise specification formats and correctness results
on (external) I/O behaviour, and illustrate our approach by examples.