Self-stabilizing extensions for meassage-passing systems

This publication has 13 references indexed in Scilit:

• A superimposition control construct for distributed systems
  ACM Transactions on Programming Languages and Systems, 1993
• Self-stabilizing extensions for message-passing systems
  Published by Association for Computing Machinery (ACM) ,1990
• Modelling knowledge and action in distributed systems
  Distributed Computing, 1989
• Token systems that self-stabilize
  IEEE Transactions on Computers, 1989
• Uniform self-stabilizing rings
  ACM Transactions on Programming Languages and Systems, 1989
• Distributed snapshots
  ACM Transactions on Computer Systems, 1985
• The glory of the past
  Published by Springer Nature ,1985
• Knowledge and common knowledge in a distributed environment
  Published by Association for Computing Machinery (ACM) ,1984
• Proving termination with multiset orderings
  Communications of the ACM, 1979
• Self-stabilizing systems in spite of distributed control
  Communications of the ACM, 1974