Space-time process algebra with asynchronous communication

TL;DR

This paper introduces a new space-time process algebra designed for distributed systems with spatial awareness, emphasizing asynchronous communication without relying on variable-binding operators, thus offering a more algebraically consistent framework.

Contribution

It presents a novel process algebra that models asynchronous space-time communication without variable-binding, enhancing theoretical robustness.

Findings

Provides a formal algebraic framework for asynchronous space-time communication.

Eliminates the need for variable-binding operators, simplifying the algebraic structure.

Lays groundwork for further theoretical development of spatially-aware process algebras.

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 variable-binding 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 the variable-binding operator does not really fit in with an algebraic approach and a process algebra with this operator is not firmly founded in established metatheory.