Asynchronous communication in process algebra | IEEE Conference Publication | IEEE Xplore