Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 371
Number of items: 371
  • Bergstra, J. A., & Middelburg, C. A. (2007). A thread algebra with multi-level strategic interleaving. Theory of Computing Systems, 41, 3-32. https://doi.org/10.1007/s00224-006-1337-4
  • 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., & Middelburg, C. A. (2007). Maurer computers with single-thread control. Fundamenta Informaticae, 80, 333-362.
  • 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., & Middelburg, C. A. (2007). Synchronous cooperation for explicit multi-threading. Acta Informatica, 44, 525-569. https://doi.org/10.1007/s00236-007-0057-9
  • 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.
Page 21 of 38