Message total ordering is a critical part in active replication in order to maintain consistency among members in a fault tolerant group. The paper proposes a n
Ensuring the correctness and reliability of large-scale resource sharing and complex job processing is an important task for grid applications. From a formal me
Program slicing is a well-known program analysis technique that extracts the ele-ments of a program related to a particular computation. The current slicing met