External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Distributed Program Checking: a Paradigm for Building Self-stabilizing Distributed Protocols (Extended Abstract)

Baruch Awerbuch, George Varghese. Distributed Program Checking: a Paradigm for Building Self-stabilizing Distributed Protocols (Extended Abstract). In 32nd Annual Symposium on Foundations of Computer Science, 1-4 October 1991, San Juan, Puerto Rico. pages 258-267, IEEE, 1991.

Authors

Baruch Awerbuch

This author has not been identified. Look up 'Baruch Awerbuch' in Google

George Varghese

This author has not been identified. Look up 'George Varghese' in Google
runs on