| Grid protocols based on synchronous communication (1997) | |||||||||||||||
Abstract | |||||||||||||||
| 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. 1 | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||