Unifying Theories for Parallel Programming
C. A. R. Hoare and Jifeng He
Book Title
Euro−Par '97 Parallel Processing‚ Third International Euro−Par Conference‚ Passau‚ Germany‚ August 26−29‚ 1997‚ Proceedings
Editor
Christian Lengauer and Martin Griebl and Sergei Gorlatch
Pages
15−30
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
1300
Year
1997