The TransC process model and interprocess communication | IEEE Conference Publication | IEEE Xplore