Refinement Based Validation of an Algorithm for Detecting Distributed Termination

Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux. Refinement Based Validation of an Algorithm for Detecting Distributed Termination. In José D. P. Rolim, editor, Parallel and Distributed Processing, 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings. Volume 1800 of Lecture Notes in Computer Science, pages 1027-1036, Springer, 2000. [doi]

Bibliographies