A brief history of Timed CSP

Abstract

This report provides a comprehensive introduction to the language of Timed CSP, presented by Reed and Roscoe in A timed model for communicating sequential processes, Springer LNCS 226. 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 report ends with a list of the changes made to the notation in recent years, and a brief discussion of other timed process algebras.