A Formal Framework for Modular Synchronous System Design.

Maria-Cristina V. Marinescu, Martin C. Rinard

Browse the full FM paper archive.