Search results
Results: 371
Number of items: 371
-
Bergstra, J. A., & Middelburg, C. A. (2008). Thread algebra for poly-threading. ArXiv. http://arxiv.org/abs/0803.0378 -
Bergstra, J., & Burgess, M. (2008). A static theory of promises. ArXiv. http://arxiv.org/abs/0810.3294
-
-
Bergstra, J. A., & Middelburg, C. A. (2008). Data linkage dynamics with shedding. ArXiv. http://arxiv.org/abs/0806.4034
-
Bergstra, J. A., & van der Zwaag, M. B. (2008). Mechanistic behavior of single-pass instruction sequences. ArXiv. http://arxiv.org/abs/0809.4635
-
Bergstra, J. A., & Middelburg, C. A. (2008). Instruction sequences and non-uniform complexity theory. ArXiv. http://arxiv.org/abs/0809.0352
-
Bergstra, J. A., Nolst Trenité, S., & van der Zwaag, M. B. (2008). Towards a formalization of budgets. ArXiv. http://arxiv.org/abs/0802.3617
-
Bergstra, J. A., & Ponse, A. (2008). A generic basis theorem for cancellation meadows. ArXiv. http://arxiv.org/abs/0803.3969
-
Bergstra, J. A., & Tucker, J. V. (2008). Division safe calculation in totalised fields. Theory of Computing Systems, 43(3-4), 410-424. https://doi.org/10.1007/s00224-007-9035-4
-
Bergstra, J. A., & Middelburg, C. A. (2008). Maurer computers for pipelined instruction processing. Mathematical Structures in Computer Science, 18(02), 373-409. https://doi.org/10.1017/S0960129507006548
Page 19 of 38