Transmission Protocols for Instruction Streams

Authors:
J. A. Bergstra;C. A. Middelburg
Affiliations:
Informatics Institute, Faculty of Science, University of Amsterdam, Amsterdam, The Netherlands 1098;Informatics Institute, Faculty of Science, University of Amsterdam, Amsterdam, The Netherlands 1098
Venue:
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Year:
2009

Citing 11
Cited 1

A Theory of Communicating Sequential Processes

Journal of the ACM (JACM)
Algebraic laws for nondeterminism and concurrency

Journal of the ACM (JACM)
Communicating sequential processes

Communicating sequential processes
Process algebra

Process algebra
Communication and Concurrency

Communication and Concurrency
Introduction to Process Algebra

Introduction to Process Algebra
Process Algebra with Timing

Process Algebra with Timing
Thread Algebra with Multi-Level Strategies

Fundamenta Informaticae
Decision problems for pushdown threads

Acta Informatica
Polarized process algebra and program equivalence

ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
An introduction to program and thread algebra

CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers

On the Behaviours Produced by Instruction Sequences under Execution

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

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.