Invariants for the construction of a handshake register
- 30 November 1998
- journal article
- Published by Elsevier BV in Information Processing Letters
- Vol. 68 (4), 173-177
- https://doi.org/10.1016/s0020-0190(98)00158-6
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Wait-free synchronizationACM Transactions on Programming Languages and Systems, 1991
- On interprocess communicationDistributed Computing, 1986
- An axiomatic proof technique for parallel programs IActa Informatica, 1976