We review the development of the process algebra Timed CSP, from its inception nearly twenty years ago to very recent semantical and algorithmic developments.
Proceedings of the Workshop on Algebraic Process Calculi:
The First Twenty Five Years and Beyond, ENTCS 162, 2006. 5 pages.
PostScript /
PDF
© 2006 Elsevier Science B.V.