Academic Journals Database
Disseminating quality controlled scientific knowledge

Thread Extraction for Polyadic Instruction Sequences

Author(s): J.A. Bergstra | C.A. Middelburg

Journal: Scientific Annals of Computer Science
ISSN 1843-8121

Volume: 21;
Issue: 2;
Start page: 283;
Date: 2011;
VIEW PDF   PDF DOWNLOAD PDF   Download PDF Original page

Keywords: Fragmented instruction sequence execution | polyadic instruction sequence | program algebra | basic thread algebra

In this paper, we study the phenomenon that instruction sequences are split into fragments which somehow produce a joint behaviour. In order to bring this phenomenon better into the picture, we formalize a simple mechanism by which several instruction sequence fragments can produce a joint behaviour. We also show that, even in the case of this simple mechanism, it is a non-trivial matter to explain by means of a translation into a single instruction sequence what takes place on execution of a collection of instruction sequence fragments.
RPA Switzerland

Robotic Process Automation Switzerland


Tango Jona
Tangokurs Rapperswil-Jona