Introducing monitoring events to timed-CSP

Timed-CSP is a process algebra designed to help in the modelling and analysis of real-time concurrent systems. Timed-CSP can handle synchronisation events that require the co-operation of all the interested parties, and broadcasting events which do not require any cooperation from the environment. The paper argues that, still, there are scenarios that cannot be adequately modelled in timed-CSP, and proposes an extension that would allow the modelling of more advanced communication mechanisms, such as multicasting.