From CSP-OZ to Java with processes | IEEE Conference Publication | IEEE Xplore