%0 Conference Proceedings %F Potop2003a %A Potop-Butucaru, Dumitru %A de Simone, Robert %T Optimizations for Faster Execution of {Esterel} Programs %B Proceedings of the 1st ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003) %P 227-236 %C Mont-Saint-Michel, France %U http://csdl.computer.org/dl/proceedings/memocode/2003/1923/00/19230227.pdf %8 June %D 2003 %K synchrony