Published in Volume XXI, Issue 2, 2011, pages 283-310

Authors: J.A. Bergstra, C.A. Middelburg

Abstract

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.

Full Text (PDF)

Bibtex

@article{sacscuza:bergstra2011tefpis,
  title={Thread Extraction for Polyadic Instruction Sequences},
  author={J.A. Bergstra and C.A. Middelburg},
  journal={Scientific Annals of Computer Science},
  volume={21},
  number={2},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  year={2011},
  pages={283--310},
  publisher={``A.I. Cuza'' University Press}
}