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.

Abstract

Abstract is missing.