Login / Signup

Refinement Based Validation of an Algorithm for Detecting Distributed Termination.

Mamoun FilaliPhilippe MauranGérard PadiouPhilippe QuéinnecXavier Thirioux
Published in: IPDPS Workshops (2000)
Keyphrases