%0 Conference Proceedings
%F memocode08a
%A Jose, B.
%A Shukla, S.
%A Patel, H.
%A Talpin, J.P.
%T On the automatic inference of synchronization logic for multi-threaded software synthesis from polychronous specifications
%B ACM-IEEE Conference on Methods and Models for Codesign
%I IEEE
%D 2008