Abstract

We propose a process algebra obtained by extending a combination
of the process algebra with continuous relative timing from Baeten
and Middelburg [Process Algebra with Timing, Springer, Chap. 4, 2002]
and the process algebra with propositional signals from Baeten and
Bergstra [Theoretical Computer Science 177:381–405, 1997]. The proposed
process algebra makes it possible to deal
... read more