Cycle-based Model to Evaluate Consistency Protocols within a Multi-protocol Compilation Tool-chain.

Hamza Chaker, Loc Cudennec, Safae Dahmani, Guy Gogniat, Martha Johanna Seplveda

Browse the full CGO paper archive.