Elsevier
Interaction and Concurrency Experience
Computer Security

de Boer, F., Bonsangue, M.& Rot, J. (2012, January). Interacting via the Heap in the Presence of Recursion. Proceedings of Interaction and Concurrency Experience 2012.