9 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.CE2008★ 9 cited
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…
cs.LO2008★ 2 cited
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…