The following sections describe assertions available in the multiprocessor version of KAP.
Copyright © Digital Equipment Corporation. 1997. All Rights Reserved.