%0 Conference Proceedings %F Benveniste2005a %A Benveniste, Albert %A Caillaud, Benoît %A Carloni, Luca %A Sangiovanni-Vincentelli, Alberto %T Tag Machines %B Proceedings of the fifth ACM International Conference on Embedded Software (Emsoft) %P 255-263 %I ACM Press %C Jersey City, NJ, USA %U http://www.irisa.fr/s4/download/papers/tm-emsoft-2005.pdf %U http://doi.acm.org/10.1145/1086228.1086276 %8 September %D 2005 %K synchrony