Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 130
Number of items: 130
  • 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). 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). 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. (2005). Strong splitting bisimulation equivalence. In J. L. Fiadeiro, N. Harman, M. Roggenbach, & J. Rutten (Eds.), Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings (pp. 85-99). (Lecture Notes in Computer Science; Vol. 3629). Springer. https://doi.org/10.1007/11548133_6
  • 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.
  • Bergstra, J. A., & Middelburg, C. A. (2005). Maurer Computers with single-thread control. (05-17). TU/e CS.
Page 12 of 13