Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 371
Number of items: 371
  • 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.
  • Bergstra, J. A., & Middelburg, C. A. (2007). On the Operating Unit Size of Load/Store Architectures. (PRG technical report). ArXiv. http://arxiv.org/abs/0711.0838
  • Bergstra, J. A., & Middelburg, C. A. (2007). Machine Structure Oriented Control Code Logic (Extended Version). (PRG technical report). ArXiv. http://arxiv.org/abs/0711.0836
  • Bergstra, J. A., & Middelburg, C. A. (2007). Instruction Sequences with Indirect Jumps. (PRG technical report). ArXiv. http://arxiv.org/abs/0711.0829
  • Bergstra, J. A., & Middelburg, C. A. (2007). A thread calculus with molecular dynamics. ArXiv. http://arxiv.org/abs/0711.0840
  • Bergstra, J. A., & Middelburg, C. A. (2007). Instruction Sequences with Dynamically Instantiated Instructions. (PRG technical report). ArXiv. http://arxiv.org/abs/0711.4217
  • Bergstra, J. A., & Middelburg, C. A. (2007). Program Algebra with a Jump-Shift Instruction. (PRG technical report). ArXiv. http://arxiv.org/abs/0712.1658
Page 21 of 38