Abstract
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
... read more