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

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


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)


  title={Thread Extraction for Polyadic Instruction Sequences},
  author={J.A. Bergstra and C.A. Middelburg},
  journal={Scientific Annals of Computer Science},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  publisher={``A.I. Cuza'' University Press}