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