Modular Resetting of Synchronous Data-Flow Programs (2000)

by Grégoire Hamon, Gr Egoire Hamon, Marc Pouzet
Venue:In ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming