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.

Modelling and Verification of Distributed Algorithms

Wolfgang Reisig. Modelling and Verification of Distributed Algorithms. In Ugo Montanari, Vladimiro Sassone, editors, CONCUR 96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings. Volume 1119 of Lecture Notes in Computer Science, pages 579-595, Springer, 1996.

Abstract

Abstract is missing.

runs on