@inproceedings{87c80b9f21f04338bf89d2525637569b,
title = "Algebraic laws for BSP programming",
abstract = "The Bulk-Synchronous Parallel (BSP) model of computation reflects the capabilities and costs of communication on a wide range of general-purpose parallel architectuers. Thus it allows general-purpose parallel software and hardware to be developed independently of one another; much as the von Neumann model provides the same facility for sequential computation. This paper presents a simple programming notation for shared-memory programming, based upon BSP constructs. The notation is defined formally by its effect upon process states. Algebraic laws are given which allow program derivation. A further set of laws allow transformation of finite programs to a normal form.",
author = "He Jifeng and Quentin Miller and Lei Chen",
note = "Publisher Copyright: {\textcopyright} 1996, Springer Verlag. All rights reserved.; 2nd International Euro-Par Conference on Parallel Processing, Euro-Par 1996 ; Conference date: 26-08-1996 Through 29-08-1996",
year = "1996",
doi = "10.1007/bfb0024724",
language = "英语",
isbn = "3540616276",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "359--368",
editor = "Luc Bouge and Pierre Fraigniaud and Anne Mignotte and Yves Robert",
booktitle = "Euro-Par 1996 Parallel Processing - 2nd International Euro-Par Conference, Proceedings",
address = "德国",
}