Edna Barros, Augusto Sampaio. Towards provably correct hardware/software partitioning using occam. In Proceedings of the Third International Workshop on Hardware/Software Codesign, CODES 1994, Grenoble, France, September 22-24, 1994. pages 210-217, IEEE Computer Society, 1994. [doi]
Abstract is missing.