Timed CSP: Theory and Practice

Steve Schneider‚ Jim Davies‚ D. M. Jackson‚ George M. Reed‚ Joy N. Reed and A. W. Roscoe