Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta. A Behavioral Type Inference System for Compositional System-on-Chip Design. In 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada. pages 47-56, IEEE Computer Society, 2004. [doi]
Abstract is missing.