Tuplix Calculus Specifications of Financial Transfer Networks (2008)
Bergstra, J. A., Trenite, S. Nolst, Van Der Zwaag, M. B.
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 flux of money over a...
Towards a Formalization of Budgets (2007)
J. A. Bergstra, S. Nolst Trenite, J. A. Bergstra, S. Nolst Trenite, ...
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...