Cookies on this website
We use cookies to ensure that we give you the best experience on our website. If you click 'Continue' we'll assume that you are happy to receive all cookies and you won't see this message again. 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

DOI

10.1007/3-540-55092-5_9

Type

Conference paper

Publication Date

01/01/1991

Volume

571 LNCS

Pages

149 - 169