Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 57,958
Number of items: 57,958
  • Bergstra, J. A., & Middelburg, C. A. (2007). Preferential choice and coordination conditions. The Journal of Logic and Algebraic Programming, 70, 172-200. https://doi.org/10.1016/j.jlap.2006.08.004
  • Bergstra, J. A., & Middelburg, C. A. (2007). Thread algebra for strategic interleaving. Formal Aspects of Computing, 19, 445-474. https://doi.org/10.1007/s00165-007-0024-9
  • 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.
  • van den Brand, M. G. J., & Klint, P. (2007). ATerms for manipulation and exchange of structured data: It's all about sharing. Information and Software Technology, 49, 55-64. https://doi.org/10.1016/j.infsof.2006.08.009
Page 3482 of 5796