Algebraic Rules for reasoning about BSP programs

Henry Stewart

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationConstructive Methods for Parallel Programming
EditorsSergei Gorlatch, Christian Lengauer
PublisherNova Science Publishers
Pages41-57
Number of pages17
ISBN (Print)1-59033-374-8
Publication statusPublished - 2002

Cite this

Stewart, H. (2002). Algebraic Rules for reasoning about BSP programs. In S. Gorlatch, & C. Lengauer (Eds.), Constructive Methods for Parallel Programming (pp. 41-57). Nova Science Publishers.
Stewart, Henry. / Algebraic Rules for reasoning about BSP programs. Constructive Methods for Parallel Programming. editor / Sergei Gorlatch ; Christian Lengauer. Nova Science Publishers, 2002. pp. 41-57
@inbook{fe1b1aa1edf24ef88b9cd119e9459766,
title = "Algebraic Rules for reasoning about BSP programs",
author = "Henry Stewart",
year = "2002",
language = "English",
isbn = "1-59033-374-8",
pages = "41--57",
editor = "Sergei Gorlatch and Christian Lengauer",
booktitle = "Constructive Methods for Parallel Programming",
publisher = "Nova Science Publishers",

}

Stewart, H 2002, Algebraic Rules for reasoning about BSP programs. in S Gorlatch & C Lengauer (eds), Constructive Methods for Parallel Programming. Nova Science Publishers, pp. 41-57.

Algebraic Rules for reasoning about BSP programs. / Stewart, Henry.

Constructive Methods for Parallel Programming. ed. / Sergei Gorlatch; Christian Lengauer. Nova Science Publishers, 2002. p. 41-57.

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

T1 - Algebraic Rules for reasoning about BSP programs

AU - Stewart, Henry

PY - 2002

Y1 - 2002

M3 - Chapter

SN - 1-59033-374-8

SP - 41

EP - 57

BT - Constructive Methods for Parallel Programming

A2 - Gorlatch, Sergei

A2 - Lengauer, Christian

PB - Nova Science Publishers

ER -

Stewart H. Algebraic Rules for reasoning about BSP programs. In Gorlatch S, Lengauer C, editors, Constructive Methods for Parallel Programming. Nova Science Publishers. 2002. p. 41-57