Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems.

Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan

Browse the full CAV paper archive.