Specification for reactive bulk-synchronous programming

Yifeng Chen. Specification for reactive bulk-synchronous programming. In Eight Euromicro Workshop on Parallel and Distributed Processing, PDP 2000, 19-12 January 2000, Rhodos, Greece. pages 190-196, IEEE, 2000. [doi]

Abstract

Abstract is missing.