Decidable models of integer-manipulating programs with recursive parallelism (technical report).

Hague, M., & Lin, A. W. (2016). Decidable models of integer-manipulating programs with recursive parallelism (technical report). arXiv:1605.06868 [Cs]. Retrieved from http://arxiv.org/abs/1605.06868