Add to ORKGVertragingsongevoelige algebra is een formalisme dat gebruikt kan worden bij het specificeren, ontwerpen en verifiëren van een bepaald type digitale electronische circuits, namelijk vertragingsongevoelige circuits. In dit proefschrift wordt een denotationeel model waarmee de correctheid van de wetten van deze algebra wordt bewezen. Verder worden een aantal compositie-stellingen afgeleid die het praktisch gebruik van vertragingsongevoelige algebra vergemakkelijken. Het nut van deze stellingen wordt getoetst door het beschouwen van een ruim aantal voorbeelden en een casus van gemiddelde complexiteit. In het navolgende wordt het een en ander verduidelijkt. ... Zie: Samenvattin