A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems.

Houda Khlif, Hatem Hadj Kacem, Sal E. Pomares Hernndez, Cdric Eichler, Ahmed Hadj Kacem, Alberto Calixto Simon

Browse the full WETICE paper archive.