Specification for reactive bulk-synchronous programming | IEEE Conference Publication | IEEE Xplore