================================================================================
P9511   J.A. Bergstra, J.A. Hillebrand, and A. Ponse
        "Grid protocols based on synchronous communications:
         specification and correctness"


We provide a short notation for processes with parallel inputs and outputs.
With this specification format, a certain class of networks, comprising
synchronous grid protocols, can be easily specified and analyzed. We
illustrate this by an example on the approximation of a one-dimensional
wave equation.