This paper presents the results obtained in the project S-Net by members of the Compilation Technology and Computer Architecture (CTCA) group at University of Hertfordshire, U.K. We argue that globally distributed HPC will require tools for coordination of asynchronous networked components, and that such coordination can be achieved by reducing the vertex in- and out- degrees of the processing nodes to 1, using single-input single-output combinators for network construction and by externalising the component state. This approach is presented first as a set of language design principles and then in the form of coordination language. The language is illustrated by an application example.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 firstname.lastname@example.org
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 email@example.com