Search results
Results: 368
Number of items: 368
-
Bergstra, J. A., Trenit'e, S. N., & van der Zwaag, M. B. (2007). Towards a Formalization of Budgets. (PRG technical report; No. PRG0712). Informatics Institute. http:///www.science.uva.nl/research/prog/publications.html
-
Bergstra, J. A., Bethke, I., & Ponse, A. (2007). Decision problems for pushdown threads. Acta Informatica, 44, 75-90. https://doi.org/10.1007/s00236-007-0040-5
-
Bergstra, J. A., & Klint, P. (2007). About ``trivial'' software patents: The IsNot case. Science of Computer Programming, 64, 264-285. https://doi.org/10.1016/j.scico.2006.09.003
-
Bergstra, J. A., & Middelburg, C. A. (2007). Preferential choice and coordination conditions. The Journal of Logic and Algebraic Programming, 70, 172-200. https://doi.org/10.1016/j.jlap.2006.08.004
-
Bergstra, J. A., & Middelburg, C. A. (2007). Thread algebra for strategic interleaving. Formal Aspects of Computing, 19, 445-474. https://doi.org/10.1007/s00165-007-0024-9
-
Bergstra, J. A., & Middelburg, C. A. (2007). A thread algebra with multi-level strategic interleaving. Theory of Computing Systems, 41, 3-32. https://doi.org/10.1007/s00224-006-1337-4
-
Bergstra, J. A., & Ponse, A. (2007). Interface Groups and Financial Transfer Architectures. (PRG technical report). ArXiv. http://arxiv.org/abs/0707.1639
-
Bergstra, J. A., Ponse, A., & van der Zwaag, M. B. (2007). Tuplix Calculus. (PRG technical report). ArXiv. http://arxiv.org/abs/0712.3423
-
Bergstra, J. A., & Middelburg, C. A. (2007). Synchronous cooperation for explicit multi-threading. Acta Informatica, 44, 525-569. https://doi.org/10.1007/s00236-007-0057-9
Page 21 of 37