Title of article
Grid protocols based on synchronous communication
Author/Authors
Jan A. Bergstra، نويسنده , , Joris A. Hillebrand، نويسنده , , Alban Ponse، نويسنده ,
Issue Information
دوماهنامه با شماره پیاپی سال 1997
Pages
35
From page
199
To page
233
Abstract
We provide a short notation for processes with parallel inputs and outputs. With this specification format synchronous networks or grid protocols can be specified in a straightforward way. For a certain class of connected networks we prove a correctness theorem that characterizes I/O behavior. We illustrate our approach by an example on the approximation of a one-dimensional wave equation.
Keywords
Grid protocol , Parallel computation , Stream transformers , Synchronous networks , Parallel input and output
Journal title
Science of Computer Programming
Serial Year
1997
Journal title
Science of Computer Programming
Record number
1079479
Link To Document