Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 130
Number of items: 130
  • Bergstra, J. A., & Middelburg, C. A. (2007). Machine structure oriented control code logic. (Computer science reports; No. 0710). Eindhoven University of Technology.
  • 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., & Middelburg, C. A. (2007). Maurer computers with single-thread control. Fundamenta Informaticae, 80, 333-362.
  • 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., & Middelburg, C. A. (2007). Distributed strategic interleaving with load balancing. (Computer science reports; No. 0703). Eindhoven University of Technology.
  • 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
  • Bergstra, J. A., & Middelburg, C. A. (2006). Thread algebra with multi-level strategies. Fundamenta Informaticae, 71(2/3), 153-182.
Page 11 of 13