1 Result(s)

Article

Ramifications of metastability in bit variables explored via Simpson’s 4-slot mechanism

Protocol descriptions often fail to take metastability into account. Metastability, however, can undermine protocols which depend on shared bits. In this paper a series of increasingly realistic models of bits...

S. E. Paynter, N. Henderson, J. M. Armstrong in Formal Aspects of Computing (2004)