Refinement Based Validation of an Algorithm for Detecting Distributed Termination - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. It may be one of the following persons:

Mamoun Filali

Look up 'Mamoun Filali' in GoogleThis author has not been identified. Look up 'Philippe Mauran' in GoogleThis author has not been identified. Look up 'Gérard Padiou' in GoogleThis author has not been identified. Look up 'Philippe Quéinnec' in GoogleThis author has not been identified. Look up 'Xavier Thirioux' in Google

runs on WebDSL