Mechanistic Behavior of Single-Pass Instruction Sequences (2008)
Bergstra, Jan A., Van Der Zwaag, Mark B.
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, mechanistic processing, in...
Towards a formalization of budgets (2008)
Bergstra, Jan A., Trenité, Sanne Nolst, Van Der Zwaag, Mark B.
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 specified by...