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.
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} }