Details

Autor(en) / Beteiligte

• Davies, Jim
• Schneider, Steve

Titel

A brief history of Timed CSP

Ist Teil von

• Theoretical computer science, 1995-02, Vol.138 (2), p.243-271

Ort / Verlag

Amsterdam: Elsevier B.V

Erscheinungsjahr

1995

Quelle

Electronic Journals Library

Beschreibungen/Notizen

• 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.