Search results
Results: 130
Number of items: 130
-
Bergstra, J. A., & Middelburg, C. A. (2012). Process algebra with conditionals in the presence of epsilon. ArXiv. http://arxiv.org/abs/1204.3249 -
Bergstra, J. A., & Middelburg, C. A. (2012). Instruction sequence processing operators. Acta Informatica, 49(3), 139-172. https://doi.org/10.1007/s00236-012-0154-2
-
Bergstra, J. A., & Middelburg, C. A. (2012). On the expressiveness of single-pass instruction sequences. Theory of Computing Systems, 50(2), 313-328. https://doi.org/10.1007/s00224-010-9301-8
-
Bergstra, J. A., & Middelburg, C. A. (2012). On the behaviours produced by instruction sequences under execution. Fundamenta Informaticae, 120(2), 111-144. https://doi.org/10.3233/FI-2012-753
-
Bergstra, J. A., & Middelburg, C. A. (2012). Indirect jumps improve instruction sequence performance. Scientific Annals of Computer Science, 22(2), 253-265. https://doi.org/10.7561/SACS.2012.2.253
-
Bergstra, J. A., & Middelburg, C. A. (2011). Preliminaries to an investigation of reduced product set finance. Journal of King Abdulaziz University: Islamic Economics, 24(1), 175-210. https://doi.org/10.4197/Islec.24-1.7
-
Bergstra, J. A., & Middelburg, C. A. (2011). An application specific informal logic for interest prohibition theory. ArXiv. http://arxiv.org/abs/1104.0308
-
Bergstra, J. A., & Middelburg, C. A. (2011). On the behaviours produced by instruction sequences under execution. ArXiv. http://arxiv.org/abs/1106.6196
-
Bergstra, J. A., & Middelburg, C. A. (2011). Thread algebra for poly-threading. Formal Aspects of Computing, 23(4), 567-583. https://doi.org/10.1007/s00165-011-0178-3
-
Bergstra, J., & Middelburg, C. (2011). Thread extraction for polyadic instruction sequences. Scientific Annals of Computer Science, 21(2), 283-310. http://www.info.uaic.ro/bin/Annals/Article?v=XXI2&a=4
Page 6 of 13