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

Wed, 01 Jan 2014 00:00:00 +0100

Houda Khlif, Hatem Hadj Kacem , Saúl E. Pomares Hernández , Cédric Eichler , Ahmed Hadj Kacem, Alberto Calixto Simon:
A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems. WETICE 2014: 80-85