Title: Submodule construction as equation solving in CCS