Transmission protocols for instruction streams
| Authors | |
|---|---|
| Publication date | 2009 |
| Host editors |
|
| Book title | Theoretical Aspects of Computing - ICTAC 2009 |
| Book subtitle | 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Event | 6th International Colloquium on Theoretical Aspects of Computing (ICTAC 2009), Kuala Lumpur, Malaysia |
| Pages (from-to) | 127-139 |
| Publisher | Berlin: Springer |
| Organisations |
|
| Abstract | Sequential programs under execution produce behaviours to be controlled by some execution environment. Threads as considered in basic thread algebra model such behaviours: upon each action performed by a thread, a reply from an execution environment - which takes the action as an instruction to be processed - determines how the thread proceeds. In this paper, we are concerned with the case where the execution environment is remote: we study some transmission protocols for passing instructions from a thread to a remote execution environment. |
| Document type | Conference contribution |
| Language | English |
| Published at |
https://doi.org/10.1007/978-3-642-03466-4_8
(Final published version)
|
| Permalink to this page | |
