Affiliations: Programming Research Group, University of Amsterdam,
Amsterdam, the Netherlands | Department of Philosophy, Utrecht University, Utrecht,
Netherlands | Computing Science Department, Eindhoven University of
Technology, P.O. Box, 513, 5600 MB Eindhoven, Netherlands
Abstract: We propose a process algebra obtained by adapting the process
algebra with continuous relative timing from Baeten and Middelburg [Process
Algebra with Timing, Springer, 2002, Chap. 4] to spatially located actions.
This process algebra makes it possible to deal with the behaviour of systems
with a known time-dependent spatial distribution, such as protocols
transmitting data via a mobile intermediate station. It is a reformulation of
the real space process algebra from Baeten and Bergstra [Formal Aspects of
Computing, 5, 1993, 481–529] in a setting with urgent actions. This leads to
many simplifications.
Keywords: process algebra, continuous relative timing, spatially located actions, distributed systems, state operator, maximal progress, asynchronous communication, urgent actions
