Veríssimo, Paulo Jorge EstevesMartins, Pedro Miguel Rebelo2012-08-302014-11-142002-11-012014-11-142002-11http://hdl.handle.net/10451/13979http://repositorio.ul.pt/handle/10455/6882pordistributed systemsembbeded systemspartial synchrony modelsreal-time systemsConcretização de uma Timely computing basemaster thesis