A formal approach to component based development of synchronous programs

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]

Authors

Partha S. Roop

This author has not been identified. Look up 'Partha S. Roop' in Google

Arcot Sowmya

This author has not been identified. Look up 'Arcot Sowmya' in Google

S. Ramesh

This author has not been identified. It may be one of the following persons: Look up 'S. Ramesh' in Google