Cookies on this website

We use cookies to ensure that we give you the best experience on our website. If you click 'Accept all cookies' we'll assume that you are happy to receive all cookies and you won't see this message again. If you click 'Reject all non-essential cookies' only necessary cookies providing core functionality such as security, network management, and accessibility will be enabled. Click 'Find out more' for information on how to change your cookie settings.

© 1991, Springer Verlag. All rights reserved. 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.

Original publication




Conference paper

Publication Date



571 LNCS


149 - 169