Minimising communications of synchronous hardware

The cost on the development of computational systems grows with their complexity. So, the interest of producing elements as minimal as possible arises. Due to the current growing interest in designing hardware as concurrent systems, techniques to minimise interacting processes arbitrarily connected are highly desired. The existing techniques for minimising interacting processes have only addressed minimisation in the number of states. Here we present a technique for minimising interacting processes in the number of communication ports