Communication protocols and concurrency: an Occam implementation of X.25 | IEEE Conference Publication | IEEE Xplore