Specification for reactive bulk-synchronous programming.

Yifeng Chen

Browse the full PDP paper archive.