TOP-DOWN DESIGN OF BULK-SYNCHRONOUS PARALLEL PROGRAMS
YIFENG CHEN, Jeff W. Sanders · Parallel Processing Letters · 2003
This paper studies top-down program development techniques for Bulk-Synchronous Parallelism. In that context a specification formalism LOGS, for 'the Logic of Global Synchrony', has been proposed for the specification and high-level development of BSP designs. This paper extends the use of LOGS to provide support for the protection of local variables in BSP programs, thus completing the link between specifications and programs.