Abstract
The occam programming language, based on the CSP formal algebra and tied to a specific hardware platform (transputers), offered a structured way to organize concurrency. The CT library [1], developed at University of Twente, inspired by occam is a kernel library implementing occam primitives in modern programming languages and for general purpose microprocessors. In this paper, a practical implementation of the CT library is explained and some aspects are compared to similar occam-like library developed at the University of Kent. The design of the CT-library internals is then revisited and proposed changes are implemented in the C++ version of the library.
| Original language | Undefined |
|---|---|
| Title of host publication | Proceedings of the 5th Progress Symposium on Embedded Systems |
| Editors | F. Karelse |
| Place of Publication | Nieuwegein |
| Publisher | STW |
| Pages | 141-156 |
| ISBN (Print) | 90-73461-41-3 |
| Publication status | Published - 30 Sep 2004 |
| Event | 5th PROGRESS Symposium on Embedded Systems 2004 - Nieuwegein, Netherlands Duration: 20 Oct 2004 → 20 Oct 2004 Conference number: 5 |
Publication series
| Name | |
|---|---|
| Publisher | STW Technology Foundation |
Conference
| Conference | 5th PROGRESS Symposium on Embedded Systems 2004 |
|---|---|
| Abbreviated title | PROGRESS |
| Country | Netherlands |
| City | Nieuwegein |
| Period | 20/10/04 → 20/10/04 |
Keywords
- IR-49241
- METIS-221420