Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 131
Number of items: 131
  • 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.
  • Bergstra, J. A., & Middelburg, C. A. (2006). Splitting bisimulations and retrospective conditions. Information and Computation, 204(7), 1083-1138. https://doi.org/10.1016/j.ic.2006.03.003
  • 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., & Middelburg, C. A. (2006). Thread algebra with multi-level strategies. Fundamenta Informaticae, 71(2/3), 153-182.
  • Bergstra, J. A., & Middelburg, C. A. (2005). Maurer Computers with single-thread control. (05-17). TU/e CS.
  • Bergstra, J. A., & Middelburg, C. A. (2005). Model theory for process algebra. Lecture Notes in Computer Science, 3838, 445-495.
  • Bergstra, J. A., & Middelburg, C. A. (2005). A thread algebra with multi-level strategic interleaving. Lecture Notes in Computer Science, 3526, 25-48.
Page 12 of 14