A virtual process type is a process type that can be redefined in a subtype of the enclosing block type.
The virtuality is specified in the process type heading or by < virtuality > in the corresponding process type reference symbol.
A redefinition of the process type must be a subtype of the type identified in the virtuality constraint .