Modular Resetting of Synchronous Data-flow Programs (2000)

by Grégoire Hamon, Marc Pouzet
Venue:In ACM International conference on Principles of Declarative Programming (PPDP’00