This paper presents a higher-order abstraction framework for process compositions which are common to highly-parallel systems and VLSI architectures. It is to aid reuse and formal design of such compositions. We construct the framework on functional programming, since it has a facility for process modeling and higher-order abstraction. Our achievements include a basis for inheritance and aggreg...