Treffer: Short correctness proofs for two self-stabilizing algorithms under the distributed daemon model

Title:
Short correctness proofs for two self-stabilizing algorithms under the distributed daemon model
Authors:
Lin, J. C., Chiu, M. Y.
Source:
DISCRETE APPLIED MATHEMATICS. 157(1):140-148
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCRN240714321&indx=1&recIds=ETOCRN240714321
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings