Java4P: Java with high-level concurrency constructs | IEEE Conference Publication | IEEE Xplore