Invariants for the Construction of a Handshake Register

Wim H. Hesselink. Invariants for the Construction of a Handshake Register. Inf. Process. Lett., 68(4):173-177, 1998. [doi]

Abstract

Abstract is missing.