Timed CSP: Theory and practice
Blarney SR., Davies J., Jackson DM., Kay A., Mislove MW., Reed GM., Reed JN., Roscoe AW., Scattergood B., Schneider SA., Stamper R., Superville S., Wallace A.
© Springer-Verlag Berlin Heidelberg 1992. Over the past five years, G. M. Reed and A. W. Roscoe have directed a large group of research staff and graduate students at Oxford University in a comprehensive study of their theory of Timed CSP. This theory has now matured with associated proof systems, temporal logics, and refinement methods, and it has been employed in several realistic case studies. This paper presents an overview of the Oxford work on Timed CSP.