Search results
Results: 17
Number of items: 17
-
Bergstra, J., Nolst Trenité, S., & van der Zwaag, M. (2008). UvA Budget Allocatie Model. (Programming Research Group electronic report series; No. PRG0805). Informatics Institute. http://www.science.uva.nl/pub/programming-research/ereports/PRG0805.pdf
-
Bergstra, J. A., Nolst Trenité, S., & van der Zwaag, M. B. (2008). Tuplix Calculus specifications of financial transfer networks. ArXiv. http://arxiv.org/abs/0805.1806
-
Ponse, A., & van der Zwaag, M. B. (2008). Risk assessment for one-counter threads. Theory of Computing Systems, 43(3-4), 563-582. https://doi.org/10.1007/s00224-007-9034-5 -
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., Ponse, A., & van der Zwaag, M. B. (2008). Tuplix calculus. Scientific Annals of Computer Science, 18, 35-61. http://www.info.uaic.ro/bin/Annals/Article?v=XVIII&a=2
-
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., 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., Ponse, A., & van der Zwaag, M. B. (2007). Tuplix Calculus. (PRG technical report). ArXiv. http://arxiv.org/abs/0712.3423
-
Ponse, A., & van der Zwaag, M. B. (2007). Belnap's logic and conditional composition. Theoretical Computer Science, 388, 319-336. https://doi.org/10.1016/j.tcs.2007.09.027
-
Ponse, A., & van der Zwaag, M. B. (2007). A generalization of ACP using Belnaps logic. The Journal of Logic and Algebraic Programming, 70, 222-235. https://doi.org/10.1016/j.jlap.2006.08.006
Page 1 of 2