Pieter H. Hartel, Theo C. Ruys, Marc C. W. Geilen. Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. In Alessandro Cimatti, Robert B. Jones, editors, Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008. pages 1-10, IEEE, 2008. [doi]
Abstract is missing.