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…