Synthesizing Concurrent Synchronous Computing Machines from Interrupt-Driven Binaries.

Michael D. Wilder, Robert Rinker

Browse the full DSD paper archive.