Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 371
Number of items: 371
  • 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., & Middelburg, C. A. (2007). An Interface Group for Process Components. (v1 ed.) (PRG technical report). ArXiv. https://doi.org/10.48550/arXiv.0711.0834
  • Open Access
    Bergstra, J. A., & Middelburg, C. A. (2007). Programming an interpreter using molecular dynamics. Scientific Annals of Computer Science, 17, 47-81. http://www.info.uaic.ro/bin/Annals/Article?v=XVII&a=2
  • Open Access
    Vu, T. D. (2007). Semantics and applications of process and program algebra. [Thesis, fully internal, Universiteit van Amsterdam].
  • Baeten, J. C. M., & Bergstra, J. A. (2006). Six Themes for Future Concurrency Research. Electronic Notes in Theoretical Computer Science, 162, 61-64.
  • Bergstra, J. A. (2006). On the design rationale of ACP based process algebras. Electronic Notes in Theoretical Computer Science, 162, 79-85.
  • Bergstra, J. A., & Middelburg, C. A. (2006). Maurer computers for pipelined instruction processing. Eindhoven University of Technology, Department of Mathematics and Computing Science.
  • Bergstra, J. A., & Middelburg, C. A. (2006). A thread calculus with molecular dynamics. Eindhoven University of Technology, Department of Mathematics and Computing Science.
Page 23 of 38