Título da tese: Flexible aliasing control of stateful objects in concurrent environments
Orientador: Prof. Doutor Luís Caires