Thread Extraction for Polyadic Instruction Sequences
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...
Main Authors: | J.A. Bergstra, C.A. Middelburg |
---|---|
Format: | Article |
Language: | English |
Published: |
Alexandru Ioan Cuza University of Iasi
2011-12-01
|
Series: | Scientific Annals of Computer Science |
Online Access: | http://www.info.uaic.ro/bin/download/Annals/XXI2/XXI2_4.pdf |
Similar Items
-
Probabilistic Thread Algebra
by: J.A. Bergstra, et al.
Published: (2015-12-01) -
Instruction Sequences Expressing Multiplication Algorithms
by: J.A. Bergstra, et al.
Published: (2018-06-01) -
Indirect Jumps Improve Instruction Sequence Performance
by: J.A. Bergstra, et al.
Published: (2012-12-01) -
Axioms for Behavioural Congruence of Single-Pass Instruction Sequences
by: J.A. Bergstra, et al.
Published: (2017-12-01) -
Instruction Sequence Based Non-uniform Complexity Classes
by: J.A. Bergstra, et al.
Published: (2014-06-01)