External Links

Cite Key

Statistics

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

PDF

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.

Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract)

Frank A. Stomp, Willem P. de Roever. Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract). In Jean-Claude Bermond, Michel Raynal, editors, Distributed Algorithms, 3rd International Workshop, Nice, France, September 26-28, 1989, Proceedings. Volume 392 of Lecture Notes in Computer Science, pages 242-253, Springer, 1989.

Authors

Frank A. Stomp

This author has not been identified. Look up 'Frank A. Stomp' in Google

Willem P. de Roever

This author has not been identified. Look up 'Willem P. de Roever' in Google
runs on