Expressing high-level visual concurrency structures in the PFG kernel language | IEEE Conference Publication | IEEE Xplore