[process_label :] PROCESS [(sensitivity_list)] process_declarations BEGIN process_statements END PROCESS [process_label];