| Original language | English |
|---|---|
| Title of host publication | Constructive Methods for Parallel Programming |
| Editors | Sergei Gorlatch, Christian Lengauer |
| Publisher | Nova Science Publishers |
| Pages | 41-57 |
| Number of pages | 17 |
| ISBN (Print) | 1-59033-374-8 |
| Publication status | Published - 2002 |
Algebraic Rules for reasoning about BSP programs
Henry Stewart
Research output: Chapter in Book/Report/Conference proceeding › Chapter