From running code to event-graphs: a pragmatic approach to derive WCRT of protocol compositions

J. RodriguesL. Rodrigues2010-05-212014-11-142010-05-212014-11-1420042004http://hdl.handle.net/10451/14600http://repositorio.ul.pt/handle/10455/6205engComputer ScienceFrom running code to event-graphs: a pragmatic approach to derive WCRT of protocol compositionsjournal article