Distributed microprogramming

This paper proposes the use of the microprogramming technique for synchronizing multiprocessors. The language used is an extension of CSP including the bi-io and the probe statements. We present a self-stabilizing algorithm for the generation of a two-phase clock; this algorithm is a generalization ... View More