Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 371
Number of items: 371
  • Bergstra, J. A., & Middelburg, C. A. (2007). Program Algebra with a Jump-Shift Instruction. (PRG technical report). ArXiv. http://arxiv.org/abs/0712.1658
  • 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., Trenit'e, S. N., & van der Zwaag, M. B. (2007). Towards a Formalization of Budgets. (PRG technical report; No. PRG0712). Informatics Institute. http:///www.science.uva.nl/research/prog/publications.html
  • 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].
  • 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.
  • Bergstra, J. A., & Middelburg, C. A. (2006). Synchronous Cooperation for Explicit Multi-Threading. Eindhoven University of Technology, Department of Mathematics and Computing Science.
  • Bergstra, J. A., & Middelburg, C. A. (2006). Parallel Processes with Implicit Computational Capital. Eindhoven University of Technology, Department of Mathematics and Computing Science.
Page 23 of 38