Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 107
Number of items: 107
  • Open Access
    Bergstra, J. A., Ponse, A., & van der Zwaag, M. B. (2008). Tuplix calculus. Scientific Annals of Computer Science, 18, 35-61. http://www.info.uaic.ro/bin/Annals/Article?v=XVIII&a=2
  • Bergstra, J. A., Bethke, I., & Ponse, A. (2007). Decision problems for pushdown threads. Acta Informatica, 44, 75-90. https://doi.org/10.1007/s00236-007-0040-5
  • Bergstra, J. A., & Ponse, A. (2007). Interface Groups and Financial Transfer Architectures. (PRG technical report). ArXiv. http://arxiv.org/abs/0707.1639
  • Bergstra, J. A., Ponse, A., & van der Zwaag, M. B. (2007). Tuplix Calculus. (PRG technical report). ArXiv. http://arxiv.org/abs/0712.3423
  • Bergstra, J. A., & Ponse, A. (2007). Execution architectures for program algebra. Journal of Applied Logic, 5, 170-192.
  • Ponse, A., & van der Zwaag, M. B. (2007). Belnap's logic and conditional composition. Theoretical Computer Science, 388, 319-336. https://doi.org/10.1016/j.tcs.2007.09.027
  • Ponse, A., & van der Zwaag, M. B. (2007). A generalization of ACP using Belnaps logic. The Journal of Logic and Algebraic Programming, 70, 222-235. https://doi.org/10.1016/j.jlap.2006.08.006
  • Bergstra, J. A., Bethke, I., & Ponse, A. (2007). Thread algebra and risk assessment services. In C. Dimitracopoulos, L. Newelski, & D. Normann (Eds.), Proceedings Logic Colloquium 2005 (Vol. 28, pp. 1-17). Cambridge University Press.
  • Open Access
    Vu, T. D. (2007). Semantics and applications of process and program algebra. [Thesis, fully internal, Universiteit van Amsterdam].
  • Bergstra, J. A., & Ponse, A. (2006). Projection Semantics for Rigid Loops. Programming Research Group, UvA.
Page 5 of 11