Search results
Results: 107
Number of items: 107
-
Bergstra, J. A., & Ponse, A. (2010). On Hoare-McCarthy algebras. ArXiv. http://arxiv.org/abs/1012.5059v1 -
Bergstra, J. A., & Ponse, A. (2009). An Instruction Sequence Semigroup with Involutive Anti-Automorphisms. (1 ed.) Section Software Engineering, University of Amsterdam. https://arxiv.org/abs/0903.1352v1
-
Bergstra, J. A., & Ponse, A. (2009). A progression ring for interfaces of instruction sequences, threads, and services. ArXiv. http://arxiv.org/abs/0909.2839
-
Bergstra, J. A., & Ponse, A. (2009). An instruction sequence semigroup with involutive anti-automorphisms. Scientific Annals of Computer Science, 19, 57-92. http://www.info.uaic.ro/bin/Annals/Article?v=XIX&a=2
-
Bergstra, J. A., & Ponse, A. (2008). Proposition algebra with projective limits. ArXiv. http://arxiv.org/abs/0807.3648
-
-
Bergstra, J. A., & Ponse, A. (2008). A generic basis theorem for cancellation meadows. ArXiv. http://arxiv.org/abs/0803.3969
-
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., & Ponse, A. (2008). An instruction sequence semigroup with repeaters. ArXiv. http://arxiv.org/abs/0810.1151v1
Page 4 of 11