Resource Analysis: From Sequential to Concurrent and Distributed Programs.

Elvira Albert, Puri Arenas, Jess Correas, Samir Genaim, Miguel Gmez-Zamalloa, Enrique Martin-Martin, Germn Puebla, Guillermo Romn-Dez

Browse the full FM paper archive.