Assertion: microprocessor's address | /r/HasProperty | replaced by real addresses
Facets:
Source sentences:
text: The channel program is copied and all virtual addresses are replaced by real addresses before the I/O operation is started.