Abstract
We introduce a process algebra that concerns the timed behaviour of
distributed systems with a known spatial distribution.
This process algebra provides a communication mechanism that deals with
the fact that a datum sent at one point in space can only be received at
another point in space at the point in time that the datum reaches that
point in space.
The integration operator used in related process algebras to model such
a communication mechanism is absent from this process algebra.
This is considered an advantage because, being a variable-binding
operator, the integration operator does not really fit an algebraic
approach and is not founded on established metatheory.