Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 368
Number of items: 368
  • Bergstra, J. A., & Ponse, A. (2007). Execution architectures for program algebra. Journal of Applied Logic, 5, 170-192.
  • Bergstra, J. A., & Tucker, J. V. (2007). The rational numbers as an abstract data type. Journal of the Association for Computing Machinery, 54, Article 7, 25 pages.
  • Bergstra, J. A., & Bethke, I. (2007). Predictable and Reliable Program Code: Virtual Machine-Based Projection Semantics. In J. A. Bergstra, & M. Burgess (Eds.), Handbook of Network and System Administration (pp. 653-658). Elsevier.
  • de Leeuw, K. M. M., & Bergstra, J. A. (2007). The History of Information Security: A Comprehensive Handbook. Elsevier.
  • Bergstra, J. A., & Burgess, M. (2007). Handbook of Network and System Administration. Elsevier.
  • Bergstra, J. A., Bethke, I., & Burgess, M. (2007). A Process Algebra Based Framework for Promise Theory. (PRG technical report). ArXiv. http://arxiv.org/abs/0707.0744
  • Bergstra, J. A., Hirschfeld, Y., & Tucker, J. V. (2007). Meadows. (PRG technical report; No. PRG0705). Informatics Institute. http:///www.science.uva.nl/research/prog/publications.html
  • Bergstra, J. A., Hirschfeld, Y., & Tucker, J. V. (2007). Skew Meadows. (PRG technical report; No. PRG0706). Informatics Institute. http:///www.science.uva.nl/research/prog/publications.html
  • Bergstra, J. A., & Middelburg, C. A. (2007). Distributed strategic interleaving with load balancing. (Computer science reports; No. 0703). Eindhoven University of Technology.
  • 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.
Page 22 of 37