Hardware composition with hardware flowcharts and process algebras | IEEE Conference Publication | IEEE Xplore