25 citations · 637 across the 113 of their papers we have counts for
5 papers · 2 filters
Instruction sequences for the production of processes
J. A. Bergstra, C. A. Middelburg
Single-pass instruction sequences under execution are considered to produce behaviours to be controlled by some execution environment. Threads as considered in thread algebra model…
On the expressiveness of single-pass instruction sequences
J. A. Bergstra, C. A. Middelburg
We perceive programs as single-pass instruction sequences. A single-pass instruction sequence under execution is considered to produce a behaviour to be controlled by some executio…
Mechanistic Behavior of Single-Pass Instruction Sequences
Jan A. Bergstra, Mark B. van der Zwaag
Earlier work on program and thread algebra detailed the functional, observable behavior of programs under execution. In this article we add the modeling of unobservable, mechanisti…
Thread extraction for polyadic instruction sequences
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 th…
Programming an interpreter using molecular dynamics
J. A. Bergstra, C. A. Middelburg
PGA (ProGram Algebra) is an algebra of programs which concerns programs in their simplest form: sequences of instructions. Molecular dynamics is a simple model of computation devel…