25 citations · 107 across the 10 of their papers we have counts for
10 papers
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…
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…
Tuplix Calculus Specifications of Financial Transfer Networks
J. A. Bergstra, S. Nolst Trenite, M. B. van der Zwaag
We study the application of Tuplix Calculus in modular financial budget design. We formalize organizational structure using financial transfer networks. We consider the notion of f…
Towards a formalization of budgets
Jan A. Bergstra, Sanne Nolst Trenité, Mark B. van der Zwaag
We go into the need for, and the requirements on, a formal theory of budgets. We present a simple algebraic theory of rational budgets, i.e., budgets in which amounts of money are…
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…
Program algebra with a jump-shift instruction
J. A. Bergstra, C. A. Middelburg
We study sequential programs that are instruction sequences with jump-shift instructions in the setting of PGA (ProGram Algebra). Jump-shift instructions preceding a jump instructi…