Search results
Results: 131
Number of items: 131
-
Bergstra, J. A., & Middelburg, C. A. (2009). Transmission protocols for instruction streams. In M. Leucker, & C. Morgan (Eds.), Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings (pp. 127-139). (Lecture Notes in Computer Science; Vol. 5684). Springer. https://doi.org/10.1007/978-3-642-03466-4_8
-
Bergstra, J. A., & Middelburg, C. A. (2009). Meadow enriched ACP process algebras. ArXiv. http://arxiv.org/abs/0901.3012 -
Bergstra, J. A., & Middelburg, C. A. (2009). Partial Komori fields and imperative Komori fields. ArXiv. http://arxiv.org/abs/0909.5271
-
Bergstra, J. A., & Middelburg, C. A. (2009). Instruction sequence processing operators. ArXiv. http://arxiv.org/abs/0910.5564
-
Bergstra, J. A., & Middelburg, C. A. (2009). Instruction sequence notations with probabilistic instructions. ArXiv. http://arxiv.org/abs/0906.3083
-
Bergstra, J. A., & Middelburg, C. A. (2009). Instruction sequences with dynamically instantiated instructions. Fundamenta Informaticae, 96(1-2), 27-48. https://doi.org/10.3233/FI-2009-165
-
Bergstra, J. A., & Middelburg, C. A. (2009). Indirect jumps improve instruction sequence performance. ArXiv. http://arxiv.org/abs/0909.2089
-
Bergstra, J. A., & Middelburg, C. A. (2009). Autosolvability of halting problem instances for instruction sequences. ArXiv. http://arxiv.org/abs/0911.5018
-
Bergstra, J. A., & Middelburg, C. A. (2009). Arithmetical meadows. ArXiv. http://arxiv.org/abs/0909.2088
-
Bergstra, J. A., & Middelburg, C. A. (2009). Inversive meadows and divisive meadows. ArXiv. http://arxiv.org/abs/0907.0540
Page 8 of 14