| IOS Press Located Actions in Process Algebra with Timing (2008) | |||||||||||||||||
Abstract | |||||||||||||||||
| 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. | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||