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.

Systematic Correct Construction of Self-stabilizing Systems: A Case Study

Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis. Systematic Correct Construction of Self-stabilizing Systems: A Case Study. In Shlomi Dolev, Jorge Arturo Cobb, Michael J. Fischer, Moti Yung, editors, Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings. Volume 6366 of Lecture Notes in Computer Science, pages 4-18, Springer, 2010. [doi]

Authors

Ananda Basu

This author has not been identified. Look up 'Ananda Basu' in Google

Borzoo Bonakdarpour

This author has not been identified. Look up 'Borzoo Bonakdarpour' in Google

Marius Bozga

This author has not been identified. Look up 'Marius Bozga' in Google

Joseph Sifakis

This author has not been identified. Look up 'Joseph Sifakis' in Google
runs on