Counterflow pipelining: architectural support for preemption in asynchronous systems using anti-tokens. - Manoj Ampalam; Montek Singh (ICCAD, 2006)