Tag machines.

Albert Benveniste, Benot Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli

Browse the full EMSOFT paper archive.