Real Space Process Algebra

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.

• Type: Conference
• Year: 1991
• Where: CONCUR
• Authors: Jos C. M. Baeten, Jan A. Bergstra
• Keywords: CONCUR 1991, Continuous Relative Timing, Distributed And Parallel Computing, Process Algebra, Space Process Algebra