On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications.

Bijoy Antony Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin

Browse the full MEMOCODE paper archive.