BSP in CSP: Easy as ABC
A. C. Simpson‚ J. M. D. Hill and S. R. Donaldson
Book Title
Proceedings of Fourth International Workshop on Formal Methods for Parallel Programming: Theory and Applications‚ San Juan‚ Puerto Rico‚ April 1999
Pages
1299–1313
Publisher
Springer
Series
Lecture Notes in Computer Science
Year
1999