Asynchronous communication in real space process algebra
Jan Aldert Bergstra, J. C. M. Baeten · Utrecht University Repository (Utrecht University) · 1992
A version of classical real space process algebra is given in which messages travel with constant speed through a three-dimensional medium. It follows that communication is asynchronous and has a broadcasting character. A state operator is used to describe asynchronous message transfer and a priority mechanism allows to express the broadcasting mechanism. As an application, a protocol is specified in which the receiver moves with respect to the sender.