Transmission protocols for instruction streams

Authors
Publication date 2009
Host editors
  • M. Leucker
  • C. Morgan
Book title Theoretical Aspects of Computing - ICTAC 2009
Book subtitle 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings
ISBN
  • 9783642034657
ISBN (electronic)
  • 9783642034664
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
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
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
Permalink to this page
Back