Elsevier, Theoretical Computer Science, 2(138), p. 243-271, 1995
DOI: 10.1016/0304-3975(94)00169-j
Full text: Download
This paper is a comprehensive introduction to the language of Timed CSP, proposed by Reed and Roscoe (1986). A brief description of the notation is followed by a detailed survey of timed and untimed models for the language. A compositional proof system is included, together with an account of timed refinement. The paper ends with a list of the changes made to the theory in recent years, and a brief discussion of other timed process algebras.