Grid protocols based on synchronous communication

被引：4

作者：

Bergstra, JA

Hillebrand, JA

Ponse, A

机构：

[1] UNIV AMSTERDAM,PROGRAMMING RES GRP,NL-1098 SJ AMSTERDAM,NETHERLANDS

[2] UNIV UTRECHT,DEPT PHILOSOPHY,NL-3508 TC UTRECHT,NETHERLANDS

来源：

SCIENCE OF COMPUTER PROGRAMMING | 1997年 / 29卷 / 1-2期

关键词：

grid protocol; parallel computation; stream transformers; parallel input and output; synchronous networks;

D O I：

10.1016/S0167-6423(96)00035-4

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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. (C) 1997 Elsevier Science B.V.

引用

页码：199 / 233

页数：35

共 24 条

[1]

[Anonymous], WORKSHOPS COMPUTING

[2]

Baeten J. C. M., 1987, Formal Description of Programming Concepts - III. Proceedings of the IFIP TC 2/WG 2.2 Working Conference, P53

[3]

BAETEN JCM, 1994, J FORMAL ASPECTS COM, V6, P83

[4]

BAETEN JCM, 1990, CAMBRIDGE TRACTS THE, V18