IOS Press Located Actions in Process Algebra with Timing (2008)
Jan A. Bergstra, Cornelis A. Middelburgt
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...