Timed CSP: a retrospective
<p>We review the development of the process algebra Timed CSP, from its inception nearly twenty years ago to very recent semantical and algorithmic developments.</p>
| Үндсэн зохиолчид: | , |
|---|---|
| Формат: | Journal article |
| Хэл сонгох: | English |
| Хэвлэсэн: |
Elsevier
2006
|
| Нөхцлүүд: |
| _version_ | 1826304484123344896 |
|---|---|
| author | Ouaknine, J Schneider, S |
| author_facet | Ouaknine, J Schneider, S |
| author_sort | Ouaknine, J |
| collection | OXFORD |
| description | <p>We review the development of the process algebra Timed CSP, from its inception nearly twenty years ago to very recent semantical and algorithmic developments.</p> |
| first_indexed | 2024-03-07T06:18:30Z |
| format | Journal article |
| id | oxford-uuid:f1e7a042-1f4a-4a34-b335-758ae11cf3d2 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T06:18:30Z |
| publishDate | 2006 |
| publisher | Elsevier |
| record_format | dspace |
| spelling | oxford-uuid:f1e7a042-1f4a-4a34-b335-758ae11cf3d22022-03-27T11:59:33ZTimed CSP: a retrospectiveJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:f1e7a042-1f4a-4a34-b335-758ae11cf3d2Computer science (mathematics)EnglishOxford University Research Archive - ValetElsevier2006Ouaknine, JSchneider, S<p>We review the development of the process algebra Timed CSP, from its inception nearly twenty years ago to very recent semantical and algorithmic developments.</p> |
| spellingShingle | Computer science (mathematics) Ouaknine, J Schneider, S Timed CSP: a retrospective |
| title | Timed CSP: a retrospective |
| title_full | Timed CSP: a retrospective |
| title_fullStr | Timed CSP: a retrospective |
| title_full_unstemmed | Timed CSP: a retrospective |
| title_short | Timed CSP: a retrospective |
| title_sort | timed csp a retrospective |
| topic | Computer science (mathematics) |
| work_keys_str_mv | AT ouakninej timedcsparetrospective AT schneiders timedcsparetrospective |