Introducing clocks-events to csp for modeling real-time systems with multi-clock

This paper introduces clocks-events to classic Communicating Sequential Processes (CSP), thus we could model real-time systems with multi-clock. Clocks-events are denoted with two dimensional expression, which have two elements (clock and mathematic expression). They could be executed not only by single form physical time, but also logical multiform time models. Using this method, we can diminish temporal operator and flexibly describe the multi-clock property of real-time systems easier.