Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 368
Number of items: 368
  • 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
    Vu, T. D. (2007). Semantics and applications of process and program algebra. [Thesis, fully internal, Universiteit van Amsterdam].
  • 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.
  • Bergstra, J. A., & Middelburg, C. A. (2006). Continuity controlled hybrid automata. The Journal of Logic and Algebraic Programming, 68(1-2), 5-53. https://doi.org/10.1016/j.jlap.2005.10.002
  • Bergstra, J. A., & Ponse, A. (2006). Projection Semantics for Rigid Loops. Programming Research Group, UvA.
  • Bergstra, J. A., & Tucker, J. V. (2006). Division Safe Calculation in Totalised Fields. Programming Research Group, UvA.
  • Bergstra, J. A., & Burgess, M. (2006). Local and Global Trust Based on the Concept of Promises. Programming Research Group, UvA.
  • Bergstra, J. A., Bethke, I., & Ponse, A. (2006). Decision problems for pushdown threads. The Bulletin of Symbolic Logic, 12, 311-312.
  • Bergstra, J. A., & Ponse, A. (2006). A bypass of Cohen's impossibility result: Extended version (in html). VX Heaven, Library. http://vx.netlux.org/lib/mjb00.html
Page 23 of 37