Next: Process Definitions, Up: Processes
One may declare a new type of process without specifying its definition, like a prototype in C/C++. A process declaration contains only the name of the process type, and a port specification with an (optional) list of formal instances.