Verifying a replicated database: A case study in modelchecking CSP (0)

by A W Roscoe, H MacCarthy