A process definition specifies a body in addition to a port specification.
If a process definition is preceded by a declaration with the same name, then the definition's port specification must match those of the prototype, i.e. each port formal instance must be type-equivalent between the declaration and the definition. Likewise, declarations that follow a definition must also declare the same port formal instances.