Partha S. Roop, Arcot Sowmya, S. Ramesh. A formal approach to component based development of synchronous programs. In Proceedings of ASP-DAC 2001, Asia and South Pacific Design Automation Conference 2001, January 30-February 2, 2001, Yokohama, Japan. pages 421-424, ACM, 2001. [doi]
Abstract is missing.