Data Consistency Verification and Detection Based on Formal Methods in Distributed Environment.

Xuejian Li, Kai Lin, Changyu Wang, Hantao Xia

Browse the full SMC paper archive.