A Generalized Message-Passing Mechanism for Communicating Sequential Processes
IEEE Transactions on Computers
Communicating sequential processes
Communications of the ACM
Introduction to VLSI Systems
| Hi-index | 0.00 |
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 of the Dining Philosophers Problem, where n philosophers access m resources.