Broadcast communication for real-time Processes
Davies J., Jackson D., Schneider S.
Timed Communicating Sequential Processes (Timed CSP) is a mathematical approach to the design and analysis of timed concurrent systems. In the existing treatment of concurrency, a Timed CSP process and its environment must cooperate on all observable actions. In a description of a real-time process, it is sometimes convenient to include observable events that are not synchronisations. This paper extends Timed CSP to include signals: broadcast events which do not require the cooperation of the environment.