virtual process type

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 .

Z.100 (virtual types)