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]
@inproceedings{BarrosS94,
title = {Towards provably correct hardware/software partitioning using occam},
author = {Edna Barros and Augusto Sampaio},
year = {1994},
doi = {10.1145/947185.947219},
url = {http://doi.acm.org/10.1145/947185.947219},
tags = {Occam, partitioning},
researchr = {https://researchr.org/publication/BarrosS94},
cites = {0},
citedby = {0},
pages = {210-217},
booktitle = {Proceedings of the Third International Workshop on Hardware/Software Codesign, CODES 1994, Grenoble, France, September 22-24, 1994},
publisher = {IEEE Computer Society},
isbn = {0-8186-6315-4},
}