Fabio FavarimJoni da Silva FragaEduardo Adílio Pelinson AlchieriAlysson Neves BessaniLau Cheuk Lung2010-05-212014-11-142010-05-212014-11-1420082008http://hdl.handle.net/10451/14777http://repositorio.ul.pt/handle/10455/6364engComputer ScienceTransações em Espaços de Tuplas com Segurança de Funcionamentojournal article