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/Territory | Netherlands |
City | Nieuwegein |
Period | 20/10/04 → 20/10/04 |
Keywords
- IR-49241
- METIS-221420