A formal approach to component based development of synchronous programs.

Partha S. Roop, Arcot Sowmya, S. Ramesh

Browse the full ASPDAC paper archive.