| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422965 | Electronic Notes in Theoretical Computer Science | 2006 | 4 Pages |
Abstract
We review the development of the process algebra Timed CSP, from its inception nearly twenty years ago to very recent semantical and algorithmic developments.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
