Modular Resetting of Synchronous Data-flow Programs (2000)

by G Hamon, M Pouzet
Venue:In ACM International conference on Principles of Declarative Programming (PPDP’00