Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 368
Number of items: 368
  • 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. (2006). Elementary algebraic specifications of the rational function field. In A. Beckmann, U. Berger, B. Löwe, & J. V. Tucker (Eds.), Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings (Vol. 3988, pp. 40-54). Springer-Verlag.
  • Bergstra, J. A., & Tucker, J. V. (2006). Elementary algebraic specifications of the rational complex numbers. In K. Futatsugi, J.-P. Jouannaud, & J. Messeguer (Eds.), Algebra, Meaning, and Computations (Vol. 4060, pp. 459-475). Springer-Verlag.
  • Baeten, J. C. M., & Bergstra, J. A. (2006). Six Themes for Future Concurrency Research. Electronic Notes in Theoretical Computer Science, 162, 61-64.
  • Bergstra, J. A. (2006). On the design rationale of ACP based process algebras. Electronic Notes in Theoretical Computer Science, 162, 79-85.
  • 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., & Ponse, A. (2006). Interface Groups for Analytic Execution Architectures. Programming Research Group, UvA.
Page 24 of 37