Timed Tuplix Calculus and the Wesseling and van den Bergh Equation

Published in Volume XXIII, Issue 2, 2013, pages 169-190, doi: 10.7561/SACS.2013.2.169

Authors: J.A. Bergstra, C.A. Middelburg

Abstract

We develop an algebraic framework for the description and analysis of financial behaviours, that is, behaviours that consist of transferring certain amounts of money at planned times. To a large extent, analysis of financial products amounts to analysis of such behaviours. We formalize the cumulative interest compliant conservation requirement for financial products proposed by Wesseling and van den Bergh by an equation in the framework developed and define a notion of financial product behaviour using this formalization. We also present some properties of financial product behaviours. The development of the framework has been influenced by previous work on the process algebra ACP.

Full Text (PDF)

References

[1] J.C.M. Baeten and J.A. Bergstra. Global renaming operators in concrete process algebra. Information and Control, 78(3):205–245, 1988. http://dx.doi.org/10.1016/0890-5401(88)90027-2 .

[2] J.C.M. Baeten and J.A. Bergstra. Discrete time process algebra. Formal Aspects of Computing, 8(2):188–208, 1996. http://dx.doi.org/10.1007/BF01214556

[3] J.A. Bergstra, I. Bethke, and A. Ponse. Cancellation meadows: A generic basis theorem and some applications. Computer Journal, 56(1):3–14, 2013. http://dx.doi.org/10.1093/comjnl/bxs028

[4] J.A. Bergstra and J.W. Klop. Process algebra for synchronous communication. Information and Control, 60(1-3):109–137, 1984. http://dx.doi.org/10.1016/S0019-9958(84)80025-X

[5] J.A. Bergstra and C. A. Middelburg. Parallel processes with implicit computational capital. Electronic Notes in Theoretical Computer Science, 209:55–81, 2008. http://dx.doi.org/10.1016/j.entcs.2008.04.004

[6] J.A. Bergstra, A. Ponse, and M.B. van der Zwaag. Tuplix calculus. Scientific Annals of Computer Science, 18:35–61, 2008.

[7] J.A. Bergstra, S.N. Trenité, and M.B. van der Zwaag. Towards a for- malization of budgets. arXiv:arXiv:0802.3617v1 [cs.LO], February 2008.

[8] J.A. Bergstra and J.V. Tucker. The rational numbers as an abstract data type. Journal of the ACM, 54(2):Article 7, 2007. http://dx.doi.org/10.1145/1219092.1219095

[9] R. Cissell, H. Cissell, and D. Flaspohler. Mathematics of Finance. Houghton Mifflin, Boston, 1990.

[10] M.L. Fein. Financial industry consolidation: The convergence of financial products and the implications for regulatory reform (January 2007). http://dx.doi.org/10.2139/ssrn.1654383

[11] LexiFi. Structuring, pricing, and processing complex financial products with MLFi. Available at: http://www.lexifi.com/product/ technology/contract-description-language, January 2005.

[12] B.E. Meserve. Fundamental Concepts of Algebra. Dover Publications, Mineola, 1982.

[13] D. Sannella and A. Tarlecki. Algebraic preliminaries. In E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, editors, Algebraic Foundations of Systems Specification, pages 13–30. Springer-Verlag, Berlin, 1999. http://dx.doi.org/10.1007/978-3-642-59851-7_2

[14] A. Tarski. A Decision Method For Elementary Algebra And Geometry. University of California Press, Berkeley, second edition, 1951.

[15] J. Wesseling and A. van den Bergh. Realistische Interestberekeningen. Academic Service, Schoonhoven, the Netherlands, 2000.

[16] M. Wirsing. Algebraic specification. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 675–788. Elsevier, Amsterdam, 1990.

Bibtex

@article{sacscuza:bergstra2013ttcatwavdbe,
  title={Timed Tuplix Calculus and the Wesseling and van den Bergh Equation},
  author={J.A. Bergstra and C.A. Middelburg},
  journal={Scientific Annals of Computer Science},
  volume={23},
  number={2},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  year={2013},
  pages={169--190},
  doi={10.7561/SACS.2013.2.169},
  publisher={``A.I. Cuza'' University Press}
}